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
clean.sh
#!/bin/bash
export FM=$PWD/sources/SatElite/ForMani
rm -rf glucose_static
rm -rf SatELite_release
cd sources/SatElite/SatELite
make clean
cd ../../glucose/core
make clean

Computing file changes ...