From e26873f36547eb85cf20314cbe0251488aaf7698 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 31 Mar 2020 10:44:24 +0100
Subject: Add main file and global building

---
 src/dune | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 src/dune

(limited to 'src')

diff --git a/src/dune b/src/dune
deleted file mode 100644
index d6dc7b8..0000000
--- a/src/dune
+++ /dev/null
@@ -1,6 +0,0 @@
-(include_subdirs unqualified)
-
-(library
- (public_name coqup)
- (libraries compcert)
- (flags (:standard -warn-error -A)))
-- 
cgit