Don't build bin_prot.xen

janestreet · Sep 11, 2020 · 0debc84 · 0debc84
1 parent 2623579
commit 0debc84
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/bin_prot/xen/dune b/bin_prot/xen/dune
@@ -1,6 +1,6 @@
-(rule (targets cflags.sexp) (deps (:first_dep cflags.sh))
- (action (bash "./%{first_dep} > %{targets}")))
+; (rule (targets cflags.sexp) (deps (:first_dep cflags.sh))
+;  (action (bash "./%{first_dep} > %{targets}")))
 
-(library (name bin_prot_xen) (public_name bin_prot.xen) (optional)
- (virtual_deps mirage-xen-ocaml) (libraries bigarray)
- (c_flags (:include cflags.sexp)) (preprocess no_preprocessing))
+; (library (name bin_prot_xen) (public_name bin_prot.xen) (optional)
+;  (virtual_deps mirage-xen-ocaml) (libraries bigarray)
+;  (c_flags (:include cflags.sexp)) (preprocess no_preprocessing))