picosat-954/0000775000175600017560000000000012064575612012023 5ustar bierebierepicosat-954/mkconfig0000775000175600017560000000104612064575612013547 0ustar bierebiere#!/bin/sh die () { echo "*** mkconfig: $*" 1>&2 exit 1 } [ -f makefile ] || die "can not find 'makefile'" sed \ -e '/^C[A-Z]*=/!d' \ -e 's,^,#define PICOSAT_,' \ -e 's,= *, ",' \ -e 's,$,",' \ makefile id="" if [ -d .git -a -f .git/HEAD ] then head="`awk 'NF == 1' .git/HEAD`" if [ x"$head" = x ] then head="`awk '{print $2}' .git/HEAD`" if [ ! x"$head" = x -a -f ".git/$head" ] then id=" `cat .git/$head`" fi else id=" $head" fi fi echo "#define PICOSAT_VERSION \"`cat VERSION`$id\"" exit 0 picosat-954/configure0000755000175600017560000000513312064575612013732 0ustar bierebiere#!/bin/sh satcompetition=no log=no debug=no stats=undefined trace=undefined static=yes shared=no thirtytwobit=no static=no while [ $# -gt 0 ] do case $1 in -g|--debug) debug=yes;; -O|--optimize) debug=no;; -l|--log) log=yes;; -s|--stats) stats=yes;; -t|--trace) trace=yes;; --no-stats) stats=no;; --no-trace) trace=no;; -32|--32|-m32) thirtytwobit=yes;; -static|--static) static=yes;; -shared|--shared) shared=yes;; *) cat < ...] where