Passage à dune

2018-07-12 17:08:54 +02:00
parent 760c0b26e4
commit 3448741682
17 changed files with 100 additions and 98 deletions
--- a/lib/generator/dune
+++ b/lib/generator/dune
@ -0,0 +1,7 @@
+(executable
+  (name generator)
+  (libraries ctypes.stubs)
+  (flags -w "-9")
+)
+
+(copy_files stubs/{t,my_types}.ml)