Add commit: 78a225c #9
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: FriCAS CI on x64 Linux (with Julia support - Clozure CL based) | |
| on: [push, pull_request] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| env: | |
| JULIA_VERSION: '1.11.2' | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: install dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install libgmp-dev libxpm-dev python3 python3-sphinx | |
| - name: download roswell | |
| run: wget -c https://github.com/roswell/roswell/releases/download/v22.12.14.113/roswell_22.12.14.113-1_amd64.deb | |
| - name: install roswell and dependencies | |
| run: sudo dpkg -i roswell_22.12.14.113-1_amd64.deb && ros install ccl-bin && ros install hunchentoot && ros install queues | |
| - name: Download and install Julia | |
| run: | | |
| wget https://julialang-s3.julialang.org/bin/linux/x64/1.11/julia-${JULIA_VERSION}-linux-x86_64.tar.gz | |
| tar zxf julia-${JULIA_VERSION}-linux-x86_64.tar.gz | |
| sudo cp -rf julia-${JULIA_VERSION}/* /usr/local/ | |
| sudo ldconfig | |
| - name: install Julia libraries | |
| run: | | |
| julia -e "import Pkg;Pkg.add(\"Nemo\");Pkg.add(\"Suppressor\");Pkg.add(\"SpecialFunctions\")" | |
| - name: configure | |
| run: | | |
| ./configure --with-lisp='ros run' --enable-gmp --enable-julia --enable-hunchentoot || cat config.log | |
| - name: make | |
| run: make -j4 --output-sync | |
| - name: make html doc | |
| run: make -j4 --output-sync htmldoc | |
| - name: make check | |
| run: make -j4 check | |
| - name: Create artifact archives | |
| run: | | |
| rm -r target/*/src | |
| mkdir jlfricas && mv target jlfricas/ | |
| tar -cjf jlFriCAS-linux-x86_64-${{ github.sha }}.tar.bz2 jlfricas/ | |
| - name: Upload Linux binary | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: jlFriCAS-linux-x86_64-binary | |
| path: jlFriCAS-linux-x86_64-${{ github.sha }}.tar.bz2 |