From fa6eb2b27f08efff4013fe559abbdea5575675f8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 20 Mar 2004 17:39:10 +0000
Subject: petit rajeunissement du test d'extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5538 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/test/Makefile.haskell | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

(limited to 'contrib/extraction/test/Makefile.haskell')

diff --git a/contrib/extraction/test/Makefile.haskell b/contrib/extraction/test/Makefile.haskell
index bd50f9bf51..6e1e15d186 100644
--- a/contrib/extraction/test/Makefile.haskell
+++ b/contrib/extraction/test/Makefile.haskell
@@ -7,14 +7,9 @@ TOPDIR=../../..
 # Files with axioms to be realized: can't be extracted directly
 
 AXIOMSVO:= \
-theories/Init/PeanoSyntax.vo \
 theories/Init/Prelude.vo \
-theories/Arith/Arith.vo \
-theories/Lists/List.vo \
 theories/Reals/% \
-theories/Reals/Rsyntax.vo \
-theories/Num/% \
-theories/ZArith/Zsyntax.vo
+theories/Num/%
 
 DIRS:= $(shell (cd $(TOPDIR);find theories -type d ! -name CVS))
 
@@ -40,7 +35,7 @@ tree:
 	mkdir -p $(DIRS)
 
 %.o:%.hs
-	hbc $(INCL) -c $<
+	ghc $(INCL) -c $<
 
 $(HS): hs2v
 	./extract.haskell $@
-- 
cgit v1.2.3