From 372b66aee814cfe5c52c16de13f3e4e62fdae5f8 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Wed, 19 Feb 2020 17:43:44 +0300
Subject: [PATCH] Added missing files

---
 .gitignore     | 2 --
 src/Makefile   | 5 ++---
 src/stdpath.ml | 1 +
 src/version.ml | 1 +
 4 files changed, 4 insertions(+), 5 deletions(-)
 create mode 100644 src/stdpath.ml
 create mode 100644 src/version.ml

diff --git a/.gitignore b/.gitignore
index 2bc3b6158..6a2ef53b1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,4 @@
 *.cmi
 *.cmx
 *.o
-version.ml
-stdpath.ml
 
diff --git a/src/Makefile b/src/Makefile
index 78958bc9b..d44eb43b1 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -2,8 +2,7 @@ TOPFILE = lamac
 OCAMLC = ocamlfind c
 OCAMLOPT = ocamlfind opt
 OCAMLDEP = ocamlfind dep
-PRE_SOURCES = Language.ml SM.ml X86.ml Driver.ml
-SOURCES = version.ml stdpath.ml $(PRE_SOURCES) 
+SOURCES = version.ml stdpath.ml Language.ml SM.ml X86.ml Driver.ml
 CAMLP5 = -syntax camlp5o -package ostap.syntax,GT.syntax.all
 PXFLAGS = $(CAMLP5)
 BFLAGS = -rectypes -g
@@ -15,7 +14,7 @@ metagen:
 	echo "let version = \"Version `git rev-parse --abbrev-ref HEAD`, `git rev-parse --short HEAD`, `git rev-parse --verify HEAD |git show --no-patch --no-notes --pretty='%cd'`\"" > version.ml
 	echo "let path = \"`opam var share`/Lama\"" > stdpath.ml
 
-.depend: $(PRE_SOURCES)
+.depend: $(SOURCES)
 	$(OCAMLDEP) $(PXFLAGS) *.ml > .depend
 
 $(TOPFILE): $(SOURCES:.ml=.cmx)
diff --git a/src/stdpath.ml b/src/stdpath.ml
new file mode 100644
index 000000000..c85a32af0
--- /dev/null
+++ b/src/stdpath.ml
@@ -0,0 +1 @@
+let path = "/home/db/.opam/4.07.1+fp/share/Lama"
diff --git a/src/version.ml b/src/version.ml
new file mode 100644
index 000000000..56b50f381
--- /dev/null
+++ b/src/version.ml
@@ -0,0 +1 @@
+let version = "Version 1.00, b7271d16, Tue Feb 18 14:08:39 2020 +0300"