From 1f009ebf50eb1e697698b5ca95bdbdda56cee8f9 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 19 Apr 2001 12:15:09 +0000
Subject: script de bench automatique pour extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1615 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/test/extract | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 contrib/extraction/test/extract

(limited to 'contrib/extraction/test/extract')

diff --git a/contrib/extraction/test/extract b/contrib/extraction/test/extract
new file mode 100755
index 0000000000..4b3da13712
--- /dev/null
+++ b/contrib/extraction/test/extract
@@ -0,0 +1,7 @@
+#!/bin/sh
+rm -f /tmp/extr.v 
+d=`dirname $1`
+n=`basename $1 .v`
+echo "Cd \"$d\". Extraction Module $n. " > /tmp/extr.v;\
+coqtop -batch -require $n -load-vernac-source /tmp/extr.v 
+
-- 
cgit v1.2.3