From 92b15f76ec9f28d27438b73f2abce1aa04d341ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Tue, 22 Nov 2011 09:24:00 +0100
Subject: [PATCH] Removed config file from repository

---
 config | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 config

diff --git a/config b/config
deleted file mode 100644
index dced476..0000000
--- a/config
+++ /dev/null
@@ -1,22 +0,0 @@
-srcdir      = .
-top_srcdir  = .
-prefix      = /opt/local
-exec_prefix = ${prefix}
-bindir      = ${exec_prefix}/bin
-libdir      = ${exec_prefix}/lib
-
-INSTALL= /usr/bin/install -c
-MAKE= @MAKE@
-
-BUILD= _build
-COMPILER=heptc
-SIMULATOR=hepts
-
-INSTALL_BINDIR=$(bindir)
-INSTALL_LIBDIR=$(libdir)/heptagon
-STDLIB_DIR=${exec_prefix}/lib/heptagon
-
-OCAMLBUILD=STDLIB=$(STDLIB_DIR) ocamlbuild
-
-TARGET=byte
-ENABLE_SIMULATOR=yes