diff options
author | 2006-07-26 08:53:08 +0000 | |
---|---|---|
committer | 2006-07-26 08:53:08 +0000 | |
commit | 93319f516c8c36a7d3691e775ebfd675aa6fb7cc (patch) | |
tree | 7b1bcdea0079fc9e9f7ff00f536744cf9238225f /Makefile | |
parent | fff07f8260867740f1f8d8b09bd26baa5f99e5c6 (diff) |
Modification script sed pour compatibilité Windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9059 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -81,7 +81,7 @@ DEPFLAGS=$(LOCALINCLUDES) OCAMLC_P4O=$(OCAMLC) -pp $(CAMLP4O) $(BYTEFLAGS) OCAMLOPT_P4O=$(OCAMLOPT) -pp $(CAMLP4O) $(OPTFLAGS) CAMLP4EXTENDFLAGS=-I . pa_extend.cmo pa_extend_m.cmo q_MLast.cmo -CAMLP4DEPS=sed -n -e 's|^(\*.*camlp4deps: "\(.*\)".*\*)$$|\1|p' +CAMLP4DEPS=sed -n -e 's|^(\*.*camlp4deps: "\(.*\)".*\*)|\1|p' COQINCLUDES= # coqtop includes itself the needed paths GLOB= # is "-dump-glob file" when making the doc |