1 files changed, 0 insertions, 4 deletions
diff --git a/src/configure.sh b/src/configure.sh
deleted file mode 100755
index 7b0c264..0000000
--- a/src/configure.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-
-coq_makefile -f _CoqProject -o Makefile
-sed -i 's/^CAMLDONTLINK=unix,str$/CAMLDONTLINK=num,str,unix,dynlink,threads/' Makefile