lingeling/code/mkconfig.sh

   1 #!/bin/sh
   2
   3 die () {
   4    echo "*** mkconfig.sh: $*" 1>&2
   5    exit 1
   6 }
   7
   8 [ -f makefile ] || die "can not find 'makefile'"
   9
  10 cat<<EOF
  11 /*************************************************************/
  12 /* Automatically generated by './mkconfig.sh': do note edit! */
  13 /*************************************************************/
  14 EOF
  15
  16 echo "#define LGL_OS \"`uname -srmn`\""
  17 echo "#define LGL_COMPILED \"`date`\""
  18 cat<<EOF
  19 #define LGL_RELEASED "Tue Apr 29 19:18:48 CEST 2014"
  20 #define LGL_VERSION "ayv"
  21 #define LGL_ID "86bf266b9332599f1b876e28a02fe8427aeaa2db"
  22 EOF