cd sources/simp
make rs
cp glucose_static ../../bin/glucose

