The Coq mailing list

[Jean-Marc Notin <notin AT lix.polytechnique.fr>]

> This looks a lot like my last installation of Coq. Your configure
> script might not be as happy as it seems, especially if your system 
> shell is not bash: there is one test written in bash-specific syntax
> ([[ ... ]] instead of [ ... ]). Normally, this is fixed in the svn
> version of coq. The godi package should have provided a patch too, but
> my hard disk decided against it. This should be corrected by Monday. If
> you can't wait that long, I don't recall exactly where the bashism is
> located in the configure script, but your config.log should. 
> 
Here is the patch (in attachment)

-- 
Jean-Marc Notin
LIX - Équipe LogiCal

Index: branches/v8.1/Makefile
===================================================================
--- branches/v8.1/Makefile	(révision 10227)
+++ branches/v8.1/Makefile	(révision 10228)
@@ -1758,7 +1758,7 @@
 	for f in $(ML4FILES); do \
 	  bn=`dirname $$f`/`basename $$f .ml4`; \
 	  deps=`$(CAMLP4DEPS) $$f`; \
-	  if [[ $${deps} != "" ]]; then \
+	  if [ -n "$${deps}" ]; then \
 	    /bin/mv -f .depend .depend.tmp; \
 	    sed -e "\|^$${bn}.cmo|s|^$${bn}.cmo: \(.*\)$$|$${bn}.cmo: $${deps} \1|" \
 	        -e "\|^$${bn}.cmx|s|^$${bn}.cmx: \(.*\)$$|$${bn}.cmx: $${deps} \1|" \

Attachment: smime.p7s
Description: S/MIME cryptographic signature