Skip to content
Browse files

Add header and modify so that the 'random' module is default

  • Loading branch information...
1 parent b656324 commit 41e4d42fb8c5303bdf13e51877fc07d9742b556a @kostis kostis committed Apr 16, 2012
Showing with 38 additions and 16 deletions.
  1. +38 −16 configure
View
54 configure
@@ -1,8 +1,28 @@
#! /bin/sh
+# --------------------------------------------------------------------
+# Copyright 2010-2012 Manolis Papadakis <manopapad@gmail.com>,
+# Eirini Arvaniti <eirinibob@gmail.com>
+# and Kostis Sagonas <kostis@cs.ntua.gr>
+#
+# This file is part of PropEr.
+#
+# PropEr is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# PropEr is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with PropEr. If not, see <http://www.gnu.org/licenses/>.
+
usage()
{
- echo "usage: $0 --use-sfmt|--use-random"
+ echo "usage: $0 [--use-sfmt | --help]"
exit 1
}
@@ -37,19 +57,21 @@ cleanup()
rm -f .eunit/*
}
-if [ $# -ne 1 ]; then
- usage
+if [ $# -eq 0 ]; then
+ cleanup
+ random
+else
+ case $1 in
+ --use-sfmt)
+ cleanup
+ sfmt
+ ;;
+ -h|--help)
+ usage
+ ;;
+ *)
+ echo $0": unrecognized option:" $1
+ exit 1
+ ;;
+ esac
fi
-case $1 in
- --use-sfmt)
- cleanup
- sfmt
- ;;
- --use-random)
- cleanup
- random
- ;;
- *)
- usage
- ;;
-esac

0 comments on commit 41e4d42

Please sign in to comment.
Something went wrong with that request. Please try again.