macOS #255
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: OSX Build | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| branches: [ master ] | |
| repository_dispatch: | |
| types: [macOS] | |
| jobs: | |
| build: | |
| runs-on: macos-13 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install packages | |
| run: brew install gcc@13 autoconf automake libtool binutils bison flex ; | |
| - name: Check Version | |
| run: bison -y --version ; flex --version ; /opt/homebrew/opt/bison/bin/bison --version ;/opt/homebrew/opt/flex/bin/flex --version | |
| - name: libGMP | |
| run: wget --progress=dot:mega https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz ; tar xf gmp-6.3.0.tar.xz ; cd gmp-6.3.0 ; ./configure CXX='g++-13' CC='gcc-13' AR='gcc-ar-13' NM='gcc-nm-13' RANLIB='gcc-ranlib-13' --enable-cxx --enable-fat --prefix=$(pwd)/../usr/local ; make -j ; make install ; cd .. ; | |
| - name: libExpat | |
| run: wget --progress=dot:mega https://github.com/libexpat/libexpat/archive/R_2_2_4.tar.gz ; tar xzf R_2_2_4.tar.gz ; cd libexpat-R_2_2_4/expat/ ; ./buildconf.sh ; ./configure CXX='g++-13' CC='gcc-13' AR='gcc-ar-13' NM='gcc-nm-13' RANLIB='gcc-ranlib-13' --prefix=$(pwd)/../../usr/local --without-xmlwf ; make -j ; make install ; cd ../.. ; | |
| - name: ANTLR | |
| run: /bin/bash ./antlr.sh | |
| - name: tag version date | |
| run: /bin/sh ./tag.sh | |
| - name: autoreconf | |
| run: autoreconf -vfi | |
| - name: Grab libDDD artefacts | |
| run: wget --progress=dot:mega https://github.com/lip6/libDDD/raw/osx/osx.tgz ; tar xzf osx.tgz ; rm osx.tgz | |
| - name: configure | |
| run: ./configure --enable-nolto YACC='/opt/homebrew/opt/bison/bin/bison -y' AR='gcc-ar-13' NM='gcc-nm-13' RANLIB='gcc-ranlib-13' CXX='g++-13' CC='gcc-13' --prefix=$PWD/usr/local/ --with-libexpat=$PWD/usr/local/ --with-libddd=$PWD/usr/local/ --with-gmp=$PWD/usr/local/ --with-antlrc=$PWD/usr/local/ --with-antlrjar=$PWD/usr/local/lib/antlr-3.4-complete.jar CPPFLAGS="-I$(pwd)/usr/local/include -DNDEBUG" LDFLAGS="-L$(pwd)/usr/local/lib" || cat config.log ; | |
| - name: make | |
| run: make -j 4 | |
| # - name: run tests | |
| # run: cd tests ; ( rc=0 ; for TEST in *.data ; do ./run_test.pl $TEST || rc=$? ; done; exit $rc) ; cd .. | |
| - name: strip binaries | |
| run: ls -lah bin/its-reach bin/gal2c ; strip bin/its-reach ; ls -lah bin/its-reach bin/gal2c ; strip -S -x bin/its-reach ; ls -lah bin/its-reach bin/gal2c ; cp bin/its-reach website/its-reach ; | |
| - name: make install | |
| run: make install | |
| - name: prepare artefact | |
| run: tar cvzf osx.tgz usr/ ; mv osx.tgz website/ | |
| - name: autoreconf CTL | |
| run: cd CTL ; autoreconf -vfi | |
| - name: configure | |
| run: cd CTL ; ./configure --enable-nolto YACC='/opt/homebrew/opt/bison/bin/bison -y' AR='gcc-ar-13' NM='gcc-nm-13' RANLIB='gcc-ranlib-13' CXX='g++-13' CC='gcc-13' --prefix=$PWD/usr/local/ --with-libexpat=$PWD/../usr/local/ --with-libddd=$PWD/../usr/local/ --with-gmp=$PWD/../usr/local/ --with-antlrc=$PWD/../usr/local/ CPPFLAGS="-I$(pwd)/../usr/local/include -DNDEBUG" LDFLAGS="-L$(pwd)/../usr/local/lib" || cat config.log ; | |
| - name: make | |
| run: cd CTL ; make -j 4 | |
| - name: strip binaries | |
| run: cd CTL ; strip bin/its-ctl ; cp bin/its-ctl ../website/ | |
| - name: autoreconf LTL | |
| run: cd LTL ; autoreconf -vfi | |
| - name: Grab Spot artefacts | |
| run: wget --progress=dot:mega https://github.com/yanntm/Spot-BinaryBuilds/raw/osx/spot_osx.tar.gz ; tar xzf spot_osx.tar.gz ; | |
| - name: configure | |
| run: cd LTL ; ./configure --enable-nolto AR='gcc-ar-13' NM='gcc-nm-13' RANLIB='gcc-ranlib-13' CXX='g++-13' CC='gcc-13' --prefix=$PWD/../usr/local/ --with-libexpat=$PWD/../usr/local/ --with-libddd=$PWD/../usr/local/ --with-gmp=$PWD/../usr/local/ --with-antlrc=$PWD/../usr/local/ --with-libspot=$(pwd)/../usr/local/ --with-libits=$(pwd)/../usr/local/ CPPFLAGS="-I$(pwd)/../usr/local/include -DNDEBUG" LDFLAGS="-L$(pwd)/../usr/local/lib" || cat config.log ; | |
| - name: make | |
| run: cd LTL ; make -j 4 | |
| - name: strip binaries | |
| run: cd LTL ; strip src/its-ltl ; cp src/its-ltl ../website/ | |
| - name: Deploy to GitHub Pages | |
| uses: JamesIves/[email protected] | |
| with: | |
| branch: osx # The branch the action should deploy to. | |
| folder: website/ # The folder the action should deploy. | |
| clean: true # Automatically remove deleted files from the deploy branch | |
| single-commit: true |