From da178a880e3ace820b41d38b191d3785b82991f5 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 1 Jul 2010 17:21:14 +0200
Subject: Imported Upstream version 8.2pl2+dfsg

---
 dev/ocamldebug-coq.template |  2 +-
 dev/v8-syntax/check-grammar | 18 +++++++++---------
 2 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
index 560d06d9..5f49561b 100644
--- a/dev/ocamldebug-coq.template
+++ b/dev/ocamldebug-coq.template
@@ -19,7 +19,7 @@ exec $OCAMLDEBUG \
 	-I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \
         -I $COQTOP/contrib/extraction -I $COQTOP/contrib/field \
         -I $COQTOP/contrib/fourier    -I $COQTOP/contrib/firstorder \
-        -I $COQTOP/contrib/interface \
+        -I $COQTOP/contrib/interface  -I $COQTOP/contrib/cc \
         -I $COQTOP/contrib/omega      -I $COQTOP/contrib/romega \
         -I $COQTOP/contrib/ring       -I $COQTOP/contrib/xml \
 	-I $COQTOP/contrib/subtac     -I $COQTOP/contrib/funind \
diff --git a/dev/v8-syntax/check-grammar b/dev/v8-syntax/check-grammar
index 67da1bc5..194a55fe 100755
--- a/dev/v8-syntax/check-grammar
+++ b/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
 
 ###############################
-- 
cgit v1.2.3