From 15097cc2577f59baf99e315c7b48c3653f5fa639 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 14 Feb 2020 15:48:03 +0000
Subject: Update dune file and remove main

---
 extraction/dune | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'extraction/dune')

diff --git a/extraction/dune b/extraction/dune
index ec44a53..12a6b8d 100644
--- a/extraction/dune
+++ b/extraction/dune
@@ -1,3 +1,8 @@
-(executable
- (name main)
- (flags (:standard -warn-error -A)))
+(executables
+ (flags (:standard -warn-error -A))
+ (names driver)
+ (libraries compcert))
+
+(install
+ (section bin)
+ (files (driver.exe as coqup)))
-- 
cgit