From ffa37f78af5f802b784a5dc4092d4bcc208cdff0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Mon, 14 Nov 2011 11:03:47 +0100
Subject: [PATCH] Add a readme for coders. (should go when makefile)

---
 README_CODER.txt | 13 +++++++++++++
 config           | 22 ++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 README_CODER.txt
 create mode 100644 config

diff --git a/README_CODER.txt b/README_CODER.txt
new file mode 100644
index 0000000..ee0408c
--- /dev/null
+++ b/README_CODER.txt
@@ -0,0 +1,13 @@
+
+*** Scripts:
+
+** clean_heptc
+* Arguments: none.
+* Usages: used to remove heptc binaries and compiled files. It's main goal is to do a fresh compilation. heptc script may be called right after this to recompile all the things needed.
+
+** heptc
+* Arguments: see heptc -h
+* Usages: wrap the real compiler in order to recompile it if it doesn't exists, and to recompile pervasives if needed. calling clean_heptc before it will ensure recompilation of everything.
+
+*** Code organization:
+
diff --git a/config b/config
new file mode 100644
index 0000000..dced476
--- /dev/null
+++ b/config
@@ -0,0 +1,22 @@
+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