Changed tarski/interpreter/Makefile to link to saclibd.a not saclibo.… #50
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: build test | |
on: [push] | |
jobs: | |
linux: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v1 | |
- name: prerequisites | |
run: sudo apt update && sudo apt install build-essential libreadline-dev libssl-dev openjdk-11-jdk swig | |
- name: build | |
run: ./build.sh | |
mac: | |
runs-on: macos-latest | |
steps: | |
- uses: actions/checkout@v1 | |
- name: prerequisites | |
run: brew install readline openssl coreutils | |
- name: build | |
run: ./build.sh | |
- name: dynamiclib-prerequisites | |
run: brew install openjdk swig | |
- name: dynamiclib-build | |
run: cd qesource/source/swig; ./runme | |
windows-msys-nojni: | |
runs-on: windows-latest | |
defaults: | |
run: | |
shell: msys2 {0} | |
steps: | |
- uses: actions/checkout@v2 | |
- name: prerequisites | |
uses: msys2/setup-msys2@v2 | |
with: | |
msystem: MSYS | |
update: true | |
install: >- | |
base-devel | |
gcc | |
libreadline-devel | |
libcrypt-devel | |
openssl-devel | |
zlib-devel | |
- name: build | |
run: ./build.sh | |
windows-clang64: | |
runs-on: windows-latest | |
defaults: | |
run: | |
shell: msys2 {0} | |
steps: | |
- uses: actions/checkout@v2 | |
- name: prerequisites | |
uses: msys2/setup-msys2@v2 | |
with: | |
msystem: CLANG64 | |
update: true | |
install: >- | |
base-devel | |
mingw-w64-clang-x86_64-cc | |
mingw-w64-clang-x86_64-readline | |
mingw-w64-clang-x86_64-openssl | |
mingw-w64-clang-x86_64-zlib | |
mingw-w64-clang-x86_64-swig | |
- name: install-openjdk | |
run: choco install openjdk | |
shell: cmd | |
- name: build | |
run: CC=clang CXX=clang++ ./build.sh | |
windows-clang32: | |
runs-on: windows-latest | |
defaults: | |
run: | |
shell: msys2 {0} | |
steps: | |
- uses: actions/checkout@v2 | |
- name: prerequisites | |
uses: msys2/setup-msys2@v2 | |
with: | |
msystem: CLANG32 | |
update: true | |
install: >- | |
base-devel | |
- name: prerequisites2 | |
run: | | |
C:\Windows\system32\cmd.exe /D /S /C D:\a\_temp\setup-msys2\msys2.cmd -c "'echo' '[clang32]' >> '/etc/pacman.conf'" | |
C:\Windows\system32\cmd.exe /D /S /C D:\a\_temp\setup-msys2\msys2.cmd -c "'echo' 'Include = /etc/pacman.d/mirrorlist.mingw' >> '/etc/pacman.conf'" | |
C:\Windows\system32\cmd.exe /D /S /C D:\a\_temp\setup-msys2\msys2.cmd -c "'pacman' '--noconfirm' '-Syuu' '--overwrite' '*'" | |
C:\Windows\system32\cmd.exe /D /S /C D:\a\_temp\setup-msys2\msys2.cmd -c "'pacman' '--noconfirm' '-S' '--needed' '--overwrite' '*' 'mingw-w64-clang-i686-cc' 'mingw-w64-clang-i686-swig' 'mingw-w64-clang-i686-readline' 'mingw-w64-clang-i686-openssl' 'mingw-w64-clang-i686-zlib'" | |
shell: cmd | |
- name: install-openjdk | |
run: choco install jdk8 --x86 | |
shell: cmd | |
- name: build | |
run: CC=clang CXX=clang++ ./build.sh | |
wasm: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v1 | |
- name: prerequisites | |
run: sudo apt update && sudo apt install build-essential | |
- name: emscripten | |
run: | | |
git clone https://github.com/emscripten-core/emsdk.git | |
cd emsdk | |
./emsdk install 3.1.22 | |
./emsdk activate 3.1.22 | |
cd .. | |
- name: openssl-wasm | |
run: | | |
. emsdk/emsdk_env.sh | |
wget https://www.openssl.org/source/openssl-1.1.0h.tar.gz | |
tar xf openssl-1.1.0h.tar.gz | |
cd openssl-1.1.0h | |
emconfigure ./Configure linux-generic64 --prefix=$EMSDK/upstream/emscripten/system | |
sed -i 's|^CROSS_COMPILE.*$|CROSS_COMPILE=|g' Makefile | |
emmake make build_generated libssl.a libcrypto.a | |
cp -R include/openssl $EMSDK/upstream/emscripten/cache/sysroot/include | |
cp libcrypto.a libssl.a $EMSDK/upstream/emscripten/system/lib | |
cd .. | |
- name: build | |
run: | | |
. emsdk/emsdk_env.sh | |
yes | TOOLCHAIN=emmake ./build.sh |