https://github.com/audemard/glucose
Revision cf6d8fa2830ec5f3aaa5ab80325364f0945cb87d authored by audemard on 09 May 2023, 09:16:48 UTC, committed by audemard on 09 May 2023, 09:16:48 UTC
1 parent 7371425
Tip revision: cf6d8fa2830ec5f3aaa5ab80325364f0945cb87d authored by audemard on 09 May 2023, 09:16:48 UTC
Glucose 2.1
Glucose 2.1
Tip revision: cf6d8fa
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 ...