https://github.com/audemard/glucose
Revision 0f482eb98d8a6b271d4daa7c1bdaf0cba828e4c8 authored by audemard on 09 May 2023, 07:12:16 UTC, committed by audemard on 09 May 2023, 07:12:16 UTC
1 parent d763400
Tip revision: 0f482eb98d8a6b271d4daa7c1bdaf0cba828e4c8 authored by audemard on 09 May 2023, 07:12:16 UTC
glucose 1.0
glucose 1.0
Tip revision: 0f482eb
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 ...