Native Windows build

.github/workflows/ci-meson.yml

@@ -25,7 +25,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: ['ubuntu', 'macos']
+        os: ['ubuntu', 'macos', 'windows']
         python: ['3.11', '3.12']
         tests: ['all']
         editable:
@@ -39,6 +39,9 @@ jobs:
             python: 3.12
             editable: true
             tests: 'all'
+          - os: windows
+            python: '3.13'
+            tests: 'all'
 
     steps:
       - uses: actions/checkout@v4
@@ -66,6 +69,17 @@ jobs:
           path: ~/conda_pkgs_dir
           key:
             ${{ runner.os }}-conda-${{ hashFiles('environment-3.11-linux.yml') }}
+
+      - name: Setup MSVC environment
+        if: runner.os == 'windows'
+        uses: ilammy/msvc-dev-cmd@v1
+
+      - name: Remove Git link.exe
+        if: runner.os == 'windows'
+        # It conflicts with the vs linker 
+        # So we delete it, following the advice on https://github.com/ilammy/msvc-dev-cmd?tab=readme-ov-file#name-conflicts-with-shell-bash 
+        run: rm -f "C:/Program Files/Git/usr/bin/link.exe"
+        shell: bash
 
       - name: Compiler cache
         uses: hendrikmuhs/[email protected]
@@ -76,12 +90,14 @@ jobs:
         uses: conda-incubator/setup-miniconda@v3
         with:
           python-version: ${{ matrix.python }}
-          miniforge-version: latest
+          # Disabled for now due to
+          # https://github.com/conda-incubator/setup-miniconda/issues/379
+          # miniforge-version: latest
           use-mamba: true
           channels: conda-forge
           channel-priority: true
           activate-environment: sage-dev
-          environment-file: environment-${{ matrix.python }}-${{ startsWith(matrix.os, 'macos') && (startsWith(runner.arch, 'ARM') && 'macos' || 'macos-x86_64') || 'linux' }}.yml
+          environment-file: environment-${{ matrix.python }}-${{ startsWith(matrix.os, 'macos') && (startsWith(runner.arch, 'ARM') && 'macos' || 'macos-x86_64') || startsWith(matrix.os, 'ubuntu') && 'linux' || 'win' }}.yml
 
       - name: Print Conda environment
         shell: bash -l {0}
@@ -92,9 +108,15 @@ jobs:
       - name: Build
         shell: bash -l {0}
         run: |
-          export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"
-          export CC="ccache $CC"
-          export CXX="ccache $CXX"
+          if [[ "$RUNNER_OS" != "Windows" ]]; then
+            export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"
+            export CC="ccache $CC"
+            export CXX="ccache $CXX"
+          else
+            export LIB="$LIB;$CONDA_PREFIX\\Library\\lib"
+            export INCLUDE="$INCLUDE;$CONDA_PREFIX\\Library\\include"
+          fi
+
           # Use --no-deps and pip check below to verify that all necessary dependencies are installed via conda
           pip install --no-build-isolation --no-deps --config-settings=builddir=builddir ${{ matrix.editable && '--editable' || '' }} . -v
 
@@ -104,7 +126,7 @@ jobs:
         shell: bash -l {0}
         if: matrix.tests == 'all'
         run: |
-          python3 tools/update-meson.py
+          python tools/update-meson.py
           if ! ./tools/test-git-no-uncommitted-changes; then
             git add --intent-to-add .  # also show newly created files in git diff
             git status
@@ -123,7 +145,12 @@ jobs:
           # If editable then deleting the directory will cause sage to detect rebuild, which will cause ninja to fail
           # so we don't delete the directory in this case
           ${{ matrix.editable && 'true' || 'rm -R ./src/sage_setup/' }}
-          ./sage -t ${{ matrix.tests == 'all' && '--all' || '--new --long' }} -p4 --format github
+          if [[ "$RUNNER_OS" == "Windows" ]]; then
+            # Ignore errors on Windows, for now
+            pytest --doctest-ignore-import-errors --doctest -rfEs -s src || true
+          else
+            ./sage -t ${{ matrix.tests == 'all' && '--all' || '--new --long' }} -p4 --format github
+          fi
 
       - name: Check that all modules can be imported
         shell: bash -l {0}

.gitignore

@@ -305,6 +305,11 @@ builddir-*
 build-install
 build/cp*
 
+# Meson subprojects
+/subprojects/*
+!/subprojects/*.wrap
+!/subprojects/packagefiles
+
 # Meson temporary files
 subprojects/wrapdb.json
 src/sage/interfaces/__init__.py

.vscode/settings.json

@@ -2,7 +2,6 @@
     // This settings file is not ignored by git.
     "files.exclude": {
         "**/__pycache__": true,
-        "src/**/*.cpp": true,
         "src/**/*.so": true
     },
     "search.exclude": {

environment-3.10-win.yml

@@ -0,0 +1,283 @@
+name: sage-dev
+# Generated by conda-lock.
+# platform: win-64
+# input_hash: ce1d33261ea050a378b1ec514c2b4fd5b96fffc879766a3ae810cb6d2b9dc26e
+
+channels:
+  - conda-forge
+dependencies:
+  - _openmp_mutex=4.5=2_gnu
+  - alabaster=1.0.0=pyhd8ed1ab_1
+  - annotated-types=0.7.0=pyhd8ed1ab_1
+  - appdirs=1.4.4=pyhd8ed1ab_1
+  - asttokens=3.0.0=pyhd8ed1ab_1
+  - babel=2.16.0=pyhd8ed1ab_1
+  - backports=1.0=pyhd8ed1ab_5
+  - backports.tarfile=1.2.0=pyhd8ed1ab_1
+  - beautifulsoup4=4.12.3=pyha770c72_1
+  - blas=2.126=openblas
+  - blas-devel=3.9.0=26_win64_openblas
+  - boost-cpp=1.85.0=ha5ead02_4
+  - brotli=1.1.0=h2466b09_2
+  - brotli-bin=1.1.0=h2466b09_2
+  - brotli-python=1.1.0=py310h9e98ed7_2
+  - bzip2=1.0.8=h2466b09_7
+  - ca-certificates=2024.12.14=h56e8100_0
+  - cachecontrol=0.14.2=pyha770c72_0
+  - cachecontrol-with-filecache=0.14.2=pyhd8ed1ab_0
+  - cachy=0.3.0=pyhd8ed1ab_2
+  - cairo=1.18.2=h5782bbf_1
+  - certifi=2024.12.14=pyhd8ed1ab_0
+  - charset-normalizer=3.4.1=pyhd8ed1ab_0
+  - clang=19.1.7=default_hec7ea82_1
+  - clang-19=19.1.7=default_hec7ea82_1
+  - click=8.1.8=pyh7428d3b_0
+  - click-default-group=1.2.4=pyhd8ed1ab_1
+  - clikit=0.6.2=pyhd8ed1ab_3
+  - colorama=0.4.6=pyhd8ed1ab_1
+  - comm=0.2.2=pyhd8ed1ab_1
+  - compiler-rt=19.1.7=hc790b64_0
+  - compiler-rt_win-64=19.1.7=hc790b64_0
+  - conda-lock=2.5.7=pyhd8ed1ab_1
+  - conda-souschef=2.2.3=pyhd8ed1ab_0
+  - contourpy=1.3.1=py310hc19bc0b_0
+  - conway-polynomials=0.10=pyhd8ed1ab_0
+  - coverage=7.6.10=py310h38315fa_0
+  - cpython=3.10.16=py310hd8ed1ab_1
+  - crashtest=0.4.1=pyhd8ed1ab_1
+  - cycler=0.12.1=pyhd8ed1ab_1
+  - cysignals=1.12.3=py310h9e98ed7_0
+  - cython=3.0.11=py310he320566_3
+  - debugpy=1.8.12=py310h9e98ed7_0
+  - decorator=5.1.1=pyhd8ed1ab_1
+  - distlib=0.3.9=pyhd8ed1ab_1
+  - docutils=0.21.2=pyhd8ed1ab_1
+  - double-conversion=3.3.0=h63175ca_0
+  - ensureconda=1.4.4=pyhd8ed1ab_1
+  - exceptiongroup=1.2.2=pyhd8ed1ab_1
+  - execnet=2.1.1=pyhd8ed1ab_1
+  - executing=2.1.0=pyhd8ed1ab_1
+  - expat=2.6.4=he0c23c2_0
+  - filelock=3.17.0=pyhd8ed1ab_0
+  - flang=19.1.7=hbeecb71_0
+  - flang_impl_win-64=19.1.7=h719f0c7_0
+  - flang_win-64=19.1.7=h719f0c7_0
+  - font-ttf-dejavu-sans-mono=2.37=hab24e00_0
+  - font-ttf-inconsolata=3.000=h77eed37_0
+  - font-ttf-source-code-pro=2.038=h77eed37_0
+  - font-ttf-ubuntu=0.83=h77eed37_3
+  - fontconfig=2.15.0=h765892d_1
+  - fonts-conda-ecosystem=1=0
+  - fonts-conda-forge=1=0
+  - fonttools=4.55.6=py310h38315fa_0
+  - fortran-compiler=1.9.0=h95e3450_0
+  - freetype=2.12.1=hdaf720e_2
+  - furo=2024.8.6=pyhd8ed1ab_2
+  - gitdb=4.0.12=pyhd8ed1ab_0
+  - gitpython=3.1.44=pyhff2d567_0
+  - glpk=5.0=h8ffe710_0
+  - gmp=6.3.0=hfeafd45_2
+  - gmpy2=2.1.5=py310hff35a3b_3
+  - graphite2=1.3.13=h63175ca_1003
+  - grayskull=2.7.6=pyhd8ed1ab_0
+  - gsl=2.8=h5b8d9c4_1
+  - harfbuzz=10.2.0=h885c0d4_0
+  - html5lib=1.1=pyhd8ed1ab_2
+  - icu=75.1=he0c23c2_0
+  - idna=3.10=pyhd8ed1ab_1
+  - imagesize=1.4.1=pyhd8ed1ab_0
+  - importlib-metadata=8.6.1=pyha770c72_0
+  - importlib_resources=6.5.2=pyhd8ed1ab_0
+  - iniconfig=2.0.0=pyhd8ed1ab_1
+  - ipykernel=6.29.5=pyh4bbf305_0
+  - ipython=8.31.0=pyh7428d3b_0
+  - ipywidgets=8.1.5=pyhd8ed1ab_1
+  - jaraco.classes=3.4.0=pyhd8ed1ab_2
+  - jaraco.context=6.0.1=pyhd8ed1ab_0
+  - jaraco.functools=4.1.0=pyhd8ed1ab_0
+  - jedi=0.19.2=pyhd8ed1ab_1
+  - jinja2=3.1.5=pyhd8ed1ab_0
+  - jupyter_client=8.6.3=pyhd8ed1ab_1
+  - jupyter_core=5.7.2=pyh5737063_1
+  - jupyterlab_widgets=3.0.13=pyhd8ed1ab_1
+  - keyring=25.6.0=pyh7428d3b_0
+  - kiwisolver=1.4.7=py310hc19bc0b_0
+  - krb5=1.21.3=hdf4eb48_0
+  - lcms2=2.16=h67d730c_0
+  - lerc=4.0.0=h63175ca_0
+  - libblas=3.9.0=26_win64_openblas
+  - libboost=1.85.0=h444863b_4
+  - libboost-devel=1.85.0=h91493d7_4
+  - libboost-headers=1.85.0=h57928b3_4
+  - libbrotlicommon=1.1.0=h2466b09_2
+  - libbrotlidec=1.1.0=h2466b09_2
+  - libbrotlienc=1.1.0=h2466b09_2
+  - libcblas=3.9.0=26_win64_openblas
+  - libclang13=19.1.7=default_ha5278ca_1
+  - libdeflate=1.23=h9062f6e_0
+  - libexpat=2.6.4=he0c23c2_0
+  - libffi=3.4.2=h8ffe710_5
+  - libflang=19.1.7=he0c23c2_0
+  - libflint=3.1.3.1=h37a7fb1_101
+  - libgcc=14.2.0=h1383e82_1
+  - libgd=2.3.3=h7208af6_11
+  - libglib=2.82.2=h7025463_1
+  - libgomp=14.2.0=h1383e82_1
+  - libiconv=1.17=hcfcfb64_2
+  - libintl=0.22.5=h5728263_3
+  - libjpeg-turbo=3.0.0=hcfcfb64_1
+  - liblapack=3.9.0=26_win64_openblas
+  - liblapacke=3.9.0=26_win64_openblas
+  - libllvm19=19.1.7=h3089188_1
+  - liblzma=5.6.3=h2466b09_1
+  - liblzma-devel=5.6.3=h2466b09_1
+  - libopenblas=0.3.28=pthreads_head3c61_1
+  - libpng=1.6.46=had7236b_0
+  - libsodium=1.0.20=hc70643c_0
+  - libsqlite=3.48.0=h67fdade_1
+  - libtiff=4.7.0=h797046b_3
+  - libwebp-base=1.5.0=h3b0e114_0
+  - libwinpthread=12.0.0.r4.gg4f2fc60ca=h57928b3_9
+  - libxcb=1.17.0=h0e4246c_0
+  - libxml2=2.13.5=he286e8c_1
+  - libxslt=1.1.39=h3df6e99_0
+  - libzlib=1.3.1=h2466b09_2
+  - lld=19.1.7=hd91d51b_0
+  - llvm-tools=19.1.7=h2a44499_1
+  - m4ri=20240729=h4afdad8_1
+  - markupsafe=3.0.2=py310h38315fa_1
+  - matplotlib=3.10.0=py310h5588dad_0
+  - matplotlib-base=3.10.0=py310h37e0a56_0
+  - matplotlib-inline=0.1.7=pyhd8ed1ab_1
+  - memory-allocator=0.1.3=py310ha8f682b_1
+  - meson=1.7.0=pyhd8ed1ab_0
+  - meson-python=0.17.1=pyh70fd9c4_1
+  - more-itertools=10.6.0=pyhd8ed1ab_0
+  - mpc=1.3.1=h72bc38f_1
+  - mpfr=4.2.1=hbc20e70_3
+  - mpmath=1.3.0=pyhd8ed1ab_1
+  - msgpack-python=1.1.0=py310hc19bc0b_0
+  - munkres=1.1.4=pyh9f0ad1d_0
+  - nauty=2.6.11=h2fa13f4_1
+  - nest-asyncio=1.6.0=pyhd8ed1ab_1
+  - networkx=3.4.2=pyh267e887_2
+  - ninja=1.12.1=hc790b64_0
+  - numpy=2.2.2=py310h4987827_0
+  - openblas=0.3.28=pthreads_h4a7f399_1
+  - openjpeg=2.5.3=h4d64b90_0
+  - openssl=3.4.0=ha4e3fda_1
+  - packaging=24.2=pyhd8ed1ab_2
+  - pari-elldata=0.0.20161017=0
+  - pari-galdata=0.0.20180411=0
+  - pari-seadata=0.0.20090618=0
+  - pari-seadata-small=0.0.20090618=0
+  - parso=0.8.4=pyhd8ed1ab_1
+  - pastel=0.2.1=pyhd8ed1ab_0
+  - pcre2=10.44=h3d7b363_2
+  - pexpect=4.9.0=pyhd8ed1ab_1
+  - pickleshare=0.7.5=pyhd8ed1ab_1004
+  - pillow=11.1.0=py310h9595edc_0
+  - pip=25.0=pyh8b19718_0
+  - pixman=0.44.2=had0cd8c_0
+  - pkg-config=0.29.2=h88c491f_1009
+  - pkgconfig=1.5.5=pyhd8ed1ab_5
+  - pkginfo=1.12.0=pyhd8ed1ab_1
+  - planarity=3.0.2.0=hcfcfb64_0
+  - platformdirs=4.3.6=pyhd8ed1ab_1
+  - pluggy=1.5.0=pyhd8ed1ab_1
+  - primesieve=12.6=he0c23c2_0
+  - progressbar2=4.5.0=pyhd8ed1ab_1
+  - prompt-toolkit=3.0.50=pyha770c72_0
+  - psutil=6.1.1=py310ha8f682b_0
+  - pthread-stubs=0.4=h0e40799_1002
+  - ptyprocess=0.7.0=pyhd8ed1ab_1
+  - pure_eval=0.2.3=pyhd8ed1ab_1
+  - pydantic=2.10.6=pyh3cfb1c2_0
+  - pydantic-core=2.27.2=py310hc226416_0
+  - pygments=2.19.1=pyhd8ed1ab_0
+  - pylev=1.4.0=pyhd8ed1ab_0
+  - pyparsing=3.2.1=pyhd8ed1ab_0
+  - pyproject-metadata=0.9.0=pyhd8ed1ab_1
+  - pyside6=6.8.1=py310h60c6385_0
+  - pysocks=1.7.1=pyh09c184e_7
+  - pytest=8.3.4=pyhd8ed1ab_1
+  - pytest-xdist=3.6.1=pyhd8ed1ab_1
+  - python=3.10.16=h37870fc_1_cpython
+  - python-dateutil=2.9.0.post0=pyhff2d567_1
+  - python-utils=3.9.1=pyhff2d567_1
+  - python_abi=3.10=5_cp310
+  - pytz=2024.2=pyhd8ed1ab_1
+  - pywin32=307=py310h9e98ed7_3
+  - pywin32-ctypes=0.2.3=py310h5588dad_1
+  - pyyaml=6.0.2=py310h38315fa_2
+  - pyzmq=26.2.0=py310h656833d_3
+  - qhull=2020.2=hc790b64_5
+  - qt6-main=6.8.1=h1259614_2
+  - rapidfuzz=3.11.0=py310h9e98ed7_0
+  - requests=2.32.3=pyhd8ed1ab_1
+  - ruamel.yaml=0.18.10=py310ha8f682b_0
+  - ruamel.yaml.clib=0.2.8=py310ha8f682b_1
+  - ruamel.yaml.jinja2=0.2.7=pyhd8ed1ab_1
+  - sagemath-db-elliptic-curves=0.8.1=hecc5488_0
+  - sagemath-db-graphs=20210214=hd8ed1ab_0
+  - sagemath-db-polytopes=20170220=1
+  - scipy=1.15.1=py310h164493e_0
+  - setuptools=75.8.0=pyhff2d567_0
+  - six=1.17.0=pyhd8ed1ab_0
+  - smmap=5.0.0=pyhd8ed1ab_0
+  - snowballstemmer=2.2.0=pyhd8ed1ab_0
+  - soupsieve=2.5=pyhd8ed1ab_1
+  - sphinx=8.1.3=pyhd8ed1ab_1
+  - sphinx-basic-ng=1.0.0b2=pyhd8ed1ab_3
+  - sphinx-inline-tabs=2023.4.21=pyhd8ed1ab_1
+  - sphinxcontrib-applehelp=2.0.0=pyhd8ed1ab_1
+  - sphinxcontrib-devhelp=2.0.0=pyhd8ed1ab_1
+  - sphinxcontrib-htmlhelp=2.1.0=pyhd8ed1ab_1
+  - sphinxcontrib-jsmath=1.0.1=pyhd8ed1ab_1
+  - sphinxcontrib-qthelp=2.0.0=pyhd8ed1ab_1
+  - sphinxcontrib-serializinghtml=1.1.10=pyhd8ed1ab_1
+  - sqlite=3.48.0=h2466b09_1
+  - stack_data=0.6.3=pyhd8ed1ab_1
+  - stdlib-list=0.11.0=pyhd8ed1ab_1
+  - symmetrica=3.0.1=h1537add_0
+  - sympy=1.13.3=pyh04b8f61_5
+  - tk=8.6.13=h5226925_1
+  - toml=0.10.2=pyhd8ed1ab_1
+  - tomli=2.2.1=pyhd8ed1ab_1
+  - tomli-w=1.2.0=pyhd8ed1ab_0
+  - tomlkit=0.13.2=pyha770c72_1
+  - toolz=0.12.1=pyhd8ed1ab_0
+  - tornado=6.4.2=py310ha8f682b_0
+  - traitlets=5.14.3=pyhd8ed1ab_1
+  - typing-extensions=4.12.2=hd8ed1ab_1
+  - typing_extensions=4.12.2=pyha770c72_1
+  - tzdata=2025a=h78e105d_0
+  - ucrt=10.0.22621.0=h57928b3_1
+  - unicodedata2=16.0.0=py310ha8f682b_0
+  - urllib3=1.26.19=pyhd8ed1ab_0
+  - vc=14.3=h5fd82a7_24
+  - vc14_runtime=14.42.34433=h6356254_24
+  - virtualenv=20.29.1=pyhd8ed1ab_0
+  - vs2015_runtime=14.42.34433=hfef2bbc_24
+  - vs2022_win-64=19.42.34433=hd920555_24
+  - vswhere=3.1.7=h57928b3_0
+  - wcwidth=0.2.13=pyhd8ed1ab_1
+  - webencodings=0.5.1=pyhd8ed1ab_3
+  - wheel=0.45.1=pyhd8ed1ab_1
+  - widgetsnbextension=4.0.13=pyhd8ed1ab_1
+  - win_inet_pton=1.1.0=pyh7428d3b_8
+  - winpthreads-devel=12.0.0.r4.gg4f2fc60ca=h57928b3_9
+  - xorg-libice=1.1.2=h0e40799_0
+  - xorg-libsm=1.2.5=h0e40799_0
+  - xorg-libx11=1.8.10=hf48077a_1
+  - xorg-libxau=1.0.12=h0e40799_0
+  - xorg-libxdmcp=1.1.5=h0e40799_0
+  - xorg-libxext=1.3.6=h0e40799_0
+  - xorg-libxpm=3.5.17=h0e40799_1
+  - xorg-libxt=1.3.1=h0e40799_0
+  - xz=5.6.3=h208afaa_1
+  - xz-tools=5.6.3=h2466b09_1
+  - yaml=0.2.5=h8ffe710_2
+  - zeromq=4.3.5=ha9f60a1_7
+  - zipp=3.21.0=pyhd8ed1ab_1
+  - zstd=1.5.6=h0ea2cb4_0