diff options
| author | bertot | 2001-12-18 14:04:43 +0000 |
|---|---|---|
| committer | bertot | 2001-12-18 14:04:43 +0000 |
| commit | 5bc2b89d4a41bbb19b6ce422f5ae86b82bf2d1bb (patch) | |
| tree | 1e486a1fa6970c90a5f2ebacc6e76e61beacbc6e /Makefile | |
| parent | 2afcb21593a8be85e2ff7543db703eedbf3de2af (diff) | |
Add a new file in the files needed for the "coq-interface" binary: the file
contrib/interface/blast.cmo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2315 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -147,7 +147,7 @@ INTERFACE=contrib/interface/vtp.cmo \ contrib/interface/history.cmo \ contrib/interface/name_to_ast.cmo contrib/interface/debug_tac.cmo \ contrib/interface/showproof_ct.cmo contrib/interface/showproof.cmo \ - contrib/interface/centaur.cmo + contrib/interface/blast.cmo contrib/interface/centaur.cmo PARSERREQUIRES=config/coq_config.cmo lib/pp_control.cmo lib/pp.cmo \ lib/util.cmo lib/dyn.cmo lib/gmap.cmo lib/gmapl.cmo \ |