diff options
| author | letouzey | 2003-01-22 01:22:34 +0000 |
|---|---|---|
| committer | letouzey | 2003-01-22 01:22:34 +0000 |
| commit | 7da1f2925cd7c355d38f5cfac7d5d3195f6191e9 (patch) | |
| tree | 1b16a7d57c23678e45bd4b400726c836e0c597d8 /contrib/extraction/test/Makefile | |
| parent | 7c4ffd70946030c74105323f8b45d6d9edfa7ac0 (diff) | |
Extraction des modules, enfin !
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3569 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/test/Makefile')
| -rw-r--r-- | contrib/extraction/test/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/extraction/test/Makefile b/contrib/extraction/test/Makefile index 646e8b6ba0..4ab5fe7fb7 100644 --- a/contrib/extraction/test/Makefile +++ b/contrib/extraction/test/Makefile @@ -42,8 +42,8 @@ depend: $(ML) tree: mkdir -p $(DIRS) -%.mli:%.ml - ./make_mli $< > $@ +#%.mli:%.ml +# ./make_mli $< > $@ %.cmi:%.mli ocamlc $(INCL) -c -i $< |