https://github.com/audemard/glucose
Revision 737142592828eadd3734da62f9db08ba4dc3c383 authored by audemard on 09 May 2023, 09:11:03 UTC, committed by audemard on 09 May 2023, 09:11:03 UTC
1 parent 0f482eb
Tip revision: 737142592828eadd3734da62f9db08ba4dc3c383 authored by audemard on 09 May 2023, 09:11:03 UTC
Glucose 2.0
Glucose 2.0
Tip revision: 7371425
build.sh
#!/bin/bash
export FM=$PWD/sources/SatElite/ForMani
cd sources/SatElite/SatELite
make r
cp SatELite_release ../../..
cd ../../glucose/core
make rs
cp glucose_static ../../..

Computing file changes ...