From bf6ca5ad681bda4f4b09c7c8409712ffce3b873e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 25 Jan 2016 10:05:02 +0100
Subject: [PATCH] update README

---
 README | 16 ++++++----------
 1 file changed, 6 insertions(+), 10 deletions(-)

diff --git a/README b/README
index 955ead28a..b10db0a41 100644
--- a/README
+++ b/README
@@ -3,18 +3,14 @@ PREREQUISITES
 
 This version is known to compile with:
 
- - Coq 8.5 beta 3
- - SCons 2.0
+ - Coq 8.5
+ - Ssreflect 1.6
+ - Autosubst 1.4
  
 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
+Run the following commands to build the full development:
 
+  ./configure
+  make
-- 
GitLab