Permalink
Browse files

Remove bashisms

As pointed out by Nima Hoda, bash is not installed everywhere... and
we really don't NEED bash anyway.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12701 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent 5ae4b17 commit 115860adb8e0054b005fe08efc45d999b2f0f3c1 glondu committed Jan 28, 2010
Showing with 14 additions and 15 deletions.
  1. +2 −1 Makefile
  2. +1 −1 build
  3. +1 −1 configure
  4. +9 −9 dev/v8-syntax/check-grammar
  5. +1 −3 install.sh
View
3 Makefile
@@ -215,7 +215,8 @@ docclean:
rm -f doc/*/*.ps doc/*/*.pdf
rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html
rm -f doc/stdlib/html/*.html
- rm -f doc/refman/euclid.ml{,i} doc/refman/heapsort.ml{,i}
+ rm -f doc/refman/euclid.ml doc/refman/euclid.mli
+ rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli
rm -f doc/common/version.tex
rm -f doc/refman/*.eps doc/refman/Reference-Manual.html
rm -f doc/coq.tex
View
2 build
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
FLAGS=
OCAMLBUILD=ocamlbuild
View
2 configure
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
##################################
#
View
18 dev/v8-syntax/check-grammar
@@ -1,31 +1,31 @@
-#!/bin/bash
+#!/bin/sh
# This scripts checks that the new grammar of Coq as defined in syntax-v8.tex
# is consistent in the sense that all invoked non-terminals are defined
-defined-nt() {
+defined_nt() {
grep "\\DEFNT{.*}" syntax-v8.tex | sed -e "s|.*DEFNT{\([^}]*\)}.*|\1|"|\
sort | sort -u
}
-used-nt() {
+used_nt() {
cat syntax-v8.tex | tr \\\\ \\n | grep "^NT{.*}" |\
sed -e "s|^NT{\([^}]*\)}.*|\1|" | egrep -v ^\#1\|non-terminal | sort -u
}
-used-term() {
+used_term() {
cat syntax-v8.tex | tr \\\\ \\n | grep "^TERM{.*}" |\
sed -e "s|^TERM{\([^}]*\)}.*|\1|" -e "s|\\$||g" | egrep -v ^\#1\|terminal | sort -u
}
-used-kwd() {
+used_kwd() {
cat syntax-v8.tex | tr \\\\ \\n | grep "^KWD{.*}" |\
sed -e "s|^KWD{\([^}]*\)}.*|\1|" -e "s|\\$||g" | egrep -v ^\#1 | sort -u
}
-defined-nt > def
-used-nt > use
-used-term > use-t
-used-kwd > use-k
+defined_nt > def
+used_nt > use
+used_term > use-t
+used_kwd > use-k
diff def use > df
###############################
View
4 install.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /bin/sh
dest="$1"
shift
@@ -9,5 +9,3 @@ for f; do
install -d "$dest/$dn"
install -m 644 $f "$dest/$dn/$bn"
done
-
-

0 comments on commit 115860a

Please sign in to comment.