lingeling/build.sh

   1 #!/bin/sh
   2 rm -rf binary
   3 mkdir binary
   4 cd code
   5 ./configure.sh || exit 1
   6 make lingeling || exit 1
   7 install -m 755 -s lingeling ../binary