From 64d7d4f4ce6418877b283374550850172cf25f6a Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 27 Jan 2016 14:53:11 +0100
Subject: [PATCH] remove the clutch in Makefile.version to generate git-based
 version number.

---
 .gitignore       | 24 ++++++++++++++++++++++++
 Makefile.version |  4 ----
 2 files changed, 24 insertions(+), 4 deletions(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..ea759e4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,24 @@
+_build/
+*.res
+*.native
+*.byte
+*.rif
+
+log
+myocamlbuild.ml
+setup.ml
+setup.data
+setup.log
+version.tex
+diff.diff
+TAGS
+configure
+linux
+
+*.docdir
+*.mldylib
+*.mllib
+linux64/
+*.cmt
+Makefile.local
+bin/
diff --git a/Makefile.version b/Makefile.version
index 87104b2..27a0c8b 100644
--- a/Makefile.version
+++ b/Makefile.version
@@ -3,10 +3,6 @@
 SHA:=`git log -1 --pretty=format:"%h"`
 COMMIT_NB:=`git log --pretty=oneline  | wc -l`
 
-# until the git repo is created
-SHA:=0
-COMMIT_NB:=0
-
 
 
 VERSION:=1.0.$(COMMIT_NB)
-- 
GitLab