sync with Tezos

vbmithr · vbmithr · commit eb58be31abe4 · 2018-10-01T19:08:09.000+08:00
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,3 @@
 _build
 *.install
 *.merlin
-dune-project
diff --git a/dune-project b/dune-project
@@ -0,0 +1 @@
+(lang dune 1.3)
diff --git a/test/dune b/test/dune
@@ -1,3 +1,11 @@
-(test
+(executable
  (name test)
  (libraries hex hacl alcotest))
+
+(alias
+ (name    runtest-hacl)
+ (action  (run %{exe:test.exe})))
+
+(alias
+ (name    runtest)
+ (deps    (alias runtest-hacl)))
