From c04340115fd62200e7f1b9341e31acd7e45540a0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 12 Feb 2016 16:34:02 +0100
Subject: [PATCH] simplify our build instructions to just "make"

thanks to Christian Doczkal <doczkal@ps.uni-saarland.de> for the Makefile snippet!
---
 .gitignore |  2 +-
 Makefile   | 12 ++++++++++++
 README     |  3 +--
 configure  |  2 --
 4 files changed, 14 insertions(+), 5 deletions(-)
 create mode 100644 Makefile
 delete mode 100755 configure

diff --git a/.gitignore b/.gitignore
index fad347ff1..bcc24b9f1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,4 @@
 *~
 *.bak
 .coq-native/
-Makefile
+Makefile.coq
diff --git a/Makefile b/Makefile
new file mode 100644
index 000000000..ce4f2f332
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,12 @@
+# Makefile originally by Christian Doczkal <doczkal@ps.uni-saarland.de>
+all: Makefile.coq
+	+make -f Makefile.coq all
+
+clean: Makefile.coq
+	+make -f Makefile.coq clean
+	rm -f Makefile.coq
+
+Makefile.coq: _CoqProject
+	coq_makefile -f _CoqProject -o Makefile.coq
+
+.PHONY: all clean
diff --git a/README b/README
index a7594d08e..e1e61a2c4 100644
--- a/README
+++ b/README
@@ -15,7 +15,6 @@ fixed version of Ssreflect.
 BUILDING INSTRUCTIONS
 ---------------------
 
-Run the following commands to build the full development:
+Run the following command to build the full development:
 
-  ./configure
   make
diff --git a/configure b/configure
deleted file mode 100755
index eeb3f9d75..000000000
--- a/configure
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-coq_makefile -f _CoqProject -o Makefile
-- 
GitLab