From 75c2b38e630b869da9285c36ee40917f8b8204e5 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 16 Nov 2015 12:13:07 +0100
Subject: [PATCH] Add README.

---
 README | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 README

diff --git a/README b/README
new file mode 100644
index 000000000..955ead28a
--- /dev/null
+++ b/README
@@ -0,0 +1,20 @@
+PREREQUISITES
+-------------
+
+This version is known to compile with:
+
+ - Coq 8.5 beta 3
+ - SCons 2.0
+ 
+BUILDING INSTRUCTIONS
+---------------------
+
+Say "scons" to build the full library, or "scons some_module.vo" to just 
+build some_module.vo (and its dependencies).
+
+In addition to common Make options like -j N and -k, SCons supports some 
+useful options of its own, such as --debug=time, which displays the time 
+spent executing individual build commands.
+
+scons -c replaces Make clean
+
-- 
GitLab