From b4c8d079dbc739c6031ba616f2b5ed350c920a7b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 19 Jan 2016 09:58:28 +0100
Subject: [PATCH] scons: also compile the barrier/ files. Finding autosubst
 fails though, since _CoqProject is not used.

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

diff --git a/SConstruct b/SConstruct
index 2662e84be..b55ee77e3 100644
--- a/SConstruct
+++ b/SConstruct
@@ -2,7 +2,7 @@
 # This file is distributed under the terms of the BSD license.
 import os, glob, string
 
-modules = ["prelude", "modures", "iris"]
+modules = ["prelude", "modures", "iris", "barrier"]
 Rs = '-Q . ""'
 env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)
 
-- 
GitLab