From 2c547961e8c2995b6a2d87e94fa0c6a058fbabf2 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 17 Nov 2015 15:21:03 +0100
Subject: [PATCH] Simplify SConstruct file.

---
 SConstruct | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SConstruct b/SConstruct
index 1c23caeec..00d1637d7 100644
--- a/SConstruct
+++ b/SConstruct
@@ -3,7 +3,7 @@
 import os, glob, string
 
 modules = ["prelude", "iris"]
-Rs = ' '.join(['-Q ' + x + ' ' + x for x in modules])
+Rs = '-Q . ""'
 env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)
 
 # Coq dependencies
-- 
GitLab