Skip to content

Commit

Permalink
Update bisect ppx -conditional arg to double-dashed (o1-labs#532)
Browse files Browse the repository at this point in the history
* Update bisect_ppx arguments

* Change version constraints and opam file for bisect_ppx v2
  • Loading branch information
mrmr1993 authored Sep 25, 2020
1 parent ca50e44 commit a232967
Show file tree
Hide file tree
Showing 7 changed files with 8 additions and 8 deletions.
2 changes: 1 addition & 1 deletion bitstring_lib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@
(inline_tests)
(libraries core_kernel tuple_lib)
(preprocess
(pps ppx_jane ppx_deriving.eq bisect_ppx -- -conditional))
(pps ppx_jane ppx_deriving.eq bisect_ppx -- --conditional))
(synopsis "Bitstring library"))
2 changes: 1 addition & 1 deletion fold_lib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@
(inline_tests)
(libraries core_kernel)
(preprocess
(pps ppx_jane ppx_deriving.eq bisect_ppx -- -conditional))
(pps ppx_jane ppx_deriving.eq bisect_ppx -- --conditional))
(synopsis "fold types"))
2 changes: 1 addition & 1 deletion interval_union/dune
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@
(inline_tests)
(libraries core_kernel)
(preprocess
(pps ppx_jane ppx_deriving.eq bisect_ppx -- -conditional))
(pps ppx_jane ppx_deriving.eq bisect_ppx -- --conditional))
(synopsis "Union of intervals data structure"))
4 changes: 2 additions & 2 deletions opam.export
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ roots: [
"async.v0.12.0"
"base64.3.4.0"
"bignum.v0.12.0"
"bisect_ppx.1.4.1"
"bisect_ppx.2.4.1"
"core.v0.12.4"
"ctypes.0.17.1"
"ctypes-foreign.0.4.0"
Expand Down Expand Up @@ -41,7 +41,7 @@ installed: [
"bignum.v0.12.0"
"bin_prot.v0.12.0"
"biniou.1.2.1"
"bisect_ppx.1.4.1"
"bisect_ppx.2.4.1"
"cmdliner.1.0.4"
"conf-gmp.1"
"conf-m4.1"
Expand Down
2 changes: 1 addition & 1 deletion snarky.opam
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ depends: [
"ppx_snarky"
"ppx_jane" {>= "v0.12" & < "v0.13"}
"ppx_deriving" {>= "4.2.1" & < "4.5"}
"bisect_ppx" {>= "1.4.1" & < "1.5"}
"bisect_ppx" {>= "2.0.0"}
"dune" {build & >= "2.0"}
]
depopts: [
Expand Down
2 changes: 1 addition & 1 deletion src/dune
Original file line number Diff line number Diff line change
Expand Up @@ -26,4 +26,4 @@
(-> gpu_prover.no_gpu.ml)))
(preprocess
(pps ppx_snarky ppx_jane ppx_deriving.enum ppx_deriving.eq bisect_ppx --
-conditional)))
--conditional)))
2 changes: 1 addition & 1 deletion tuple_lib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@
(inline_tests)
(libraries core_kernel)
(preprocess
(pps ppx_jane ppx_deriving.eq bisect_ppx -- -conditional))
(pps ppx_jane ppx_deriving.eq bisect_ppx -- --conditional))
(synopsis "Tuple types"))

0 comments on commit a232967

Please sign in to comment.