From 61f043856a4dfeeb000338173c5fc937109af397 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Thu, 17 Sep 2015 10:29:20 +0200
Subject: [PATCH] Version 1.01.00

---
 Makefile                                      | 2 ++
 Makefile-distrib                              | 2 +-
 compiler/utilities/global/compiler_options.ml | 2 +-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 5fce4ef..b67fc2e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+include config
+
 .PHONY: all install
 
 all:
diff --git a/Makefile-distrib b/Makefile-distrib
index bb0b9f6..868f554 100644
--- a/Makefile-distrib
+++ b/Makefile-distrib
@@ -2,7 +2,7 @@
 include config
 
 #version = $(shell date +"%d%m%y")
-version = 1.00.06
+version = 1.01.00
 osname=$(shell uname -s)
 hardware=$(shell uname -m)
 heptdir = heptagon-$(version)
diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 94f9373..e432237 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -32,7 +32,7 @@
 open Names
 
 (* version of the compiler *)
-let version = "1.00.06"
+let version = "1.01.00"
 let date = "DATE"
 
 (* standard module *)