build.sh 96 Bytes
Newer Older
Masahiko Sakai's avatar
Masahiko Sakai committed
1 2 3 4 5 6 7 8 9
#!/bin/sh

export MROOT=$PWD

make -C simp r
cp simp/glueminisat-simp_release ./glueminisat