[llvmpy] add py3.13 (#63)

llvm · Jan 30, 2025 · 927afc2 · 927afc2
1 parent 5c64472
commit 927afc2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 9 deletions.
diff --git a/.github/workflows/build_test_release_eudsl.yml b/.github/workflows/build_test_release_eudsl.yml
@@ -18,11 +18,6 @@ on:
         description: 'Run the build with a tmate session ONLY in case of failure'
         required: false
         default: false
-      eudslpy_disable_compile_opt:
-        type: boolean
-        description: 'use -O0 to build eudsl-py'
-        required: false
-        default: true
   pull_request:
     paths:
       - ".github/workflows/build_test_release_eudsl.yml"
@@ -130,9 +125,6 @@ jobs:
             echo MACOSX_DEPLOYMENT_TARGET=14.0 >> $GITHUB_ENV
           fi
           
-          # prevent OOM on free GHA
-          echo "EUDSLPY_DISABLE_COMPILE_OPT=${{ inputs.eudslpy_disable_compile_opt == 'true' && 'ON' || 'OFF' }}" >> $GITHUB_ENV
-          
           $python3_command -m pip install cibuildwheel
           if [[ "${{ matrix.os }}" == "ubuntu" ]] && [[ "${{ matrix.arch }}" == "aarch64" ]]; then
             sudo apt-get install libarchive-dev antlr libxml2-dev libxslt-dev libcurl4-openssl-dev

diff --git a/projects/eudsl-llvmpy/pyproject.toml b/projects/eudsl-llvmpy/pyproject.toml
@@ -6,7 +6,7 @@
 [project]
 name = "eudsl-llvmpy"
 version = "0.0.1"
-requires-python = ">=3.10,<3.13"
+requires-python = ">3.9"
 [project.urls]
 Homepage = "https://github.com/llvm/eudsl"