summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2017-01-06 01:32:24 +0700
committerDaniil Baturin <daniil@baturin.org>2017-01-06 01:32:24 +0700
commit3f0b2323d92a729269cd336350593f6a44e87f3e (patch)
treee2eca5f1b951c0634dd8307e01d41493d90b54c6
parentf74d68d408e3e1d8dc1313c322851b8ca07ef730 (diff)
downloadvyconf-3f0b2323d92a729269cd336350593f6a44e87f3e.tar.gz
vyconf-3f0b2323d92a729269cd336350593f6a44e87f3e.zip
Add a target for re-generating the RNG schemata to makefile.
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index fd018eb..96c3b85 100644
--- a/Makefile
+++ b/Makefile
@@ -41,5 +41,9 @@ configure:
# OASIS_STOP
.PHONY:
+schema:
+ scripts/rnc2rng.sh all data/schemata/
+
+.PHONY:
protobuf:
ocaml-protoc -ml_out src/ data/vyconf.proto