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
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 ...