https://github.com/crillab/d4v2
Tip revision: c4239d526043da01142cc81ef1b5aad2d198ff5d authored by JM on 30 September 2022, 13:33:50 UTC
licence changed
licence changed
Tip revision: c4239d5
clean.sh
#!/bin/bash
if [ $# -eq 1 ]
then
rm -f 3rdParty/glucose-3.0/core/*.o*
rm -f 3rdParty/glucose-3.0/core/lib*
rm -f 3rdParty/glucose-3.0/core/depend.mk
rm -f 3rdParty/glucose-3.0/utils/*.o*
rm -rf 3rdParty/kahypar/build
fi
rm -rf build/
rm -f gmon.out
