From 070fd95cac772b8306b219d0c6dfecaa472184ee Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Wed, 28 Feb 2018 23:33:16 +0700
Subject: [PATCH] Add configurator build

For now the library is private
---
 src/configurator/jbuild | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/configurator/jbuild

diff --git a/src/configurator/jbuild b/src/configurator/jbuild
new file mode 100644
index 00000000..46c21619
--- /dev/null
+++ b/src/configurator/jbuild
@@ -0,0 +1,7 @@
+(library
+ ((name configurator)
+  (flags (:standard -safe-string))
+  (libraries (jbuilder stdune))
+  (preprocess no_preprocessing)))
+
+(jbuild_version 1)