From 4262037a5b605b3285a413c6053b967007c05e9f Mon Sep 17 00:00:00 2001 From: Alexander Bantyev Date: Thu, 26 Mar 2020 20:47:15 +0300 Subject: [PATCH] Fix flags to ppx --- src/bin/dune | 4 ++-- src/dune | 2 +- src/main/compile/dune | 2 +- src/main/dune | 2 +- src/main/run/dune | 2 +- src/main/uncompile/dune | 2 +- src/passes/1-parser/cameligo/dune | 8 ++++---- src/passes/1-parser/dune | 2 +- src/passes/1-parser/pascaligo/dune | 8 ++++---- src/passes/1-parser/reasonligo/dune | 8 ++++---- src/passes/1-parser/shared/dune | 2 +- src/passes/10-interpreter/dune | 2 +- src/passes/10-transpiler/dune | 2 +- src/passes/11-self_mini_c/dune | 2 +- src/passes/12-compiler/dune | 2 +- src/passes/13-self_michelson/dune | 2 +- src/passes/2-concrete_to_imperative/dune | 2 +- src/passes/3-self_ast_imperative/dune | 2 +- src/passes/4-imperative_to_sugar/dune | 2 +- src/passes/5-self_ast_sugar/dune | 2 +- src/passes/6-sugar_to_core/dune | 2 +- src/passes/7-self_ast_core/dune | 2 +- src/passes/8-typer/dune | 2 +- src/passes/9-self_ast_typed/dune | 2 +- src/passes/operators/dune | 2 +- src/stages/1-ast_imperative/dune | 2 +- src/stages/2-ast_sugar/dune | 2 +- src/stages/3-ast_core/dune | 2 +- src/stages/4-ast_typed/dune | 2 +- src/stages/5-mini_c/dune | 2 +- src/stages/common/dune | 2 +- src/stages/ligo_interpreter/dune | 2 +- src/stages/typesystem/dune | 2 +- 33 files changed, 43 insertions(+), 43 deletions(-) diff --git a/src/bin/dune b/src/bin/dune index 162963b4b..391b00b33 100644 --- a/src/bin/dune +++ b/src/bin/dune @@ -7,7 +7,7 @@ ) (modules cli cli_helpers version) (preprocess - (pps ppx_let ppx_blob bisect_ppx --conditional) + (pps ppx_let ppx_blob bisect_ppx -conditional) ) (preprocessor_deps (file ../../CHANGELOG.md)) (flags (:standard -open Simple_utils)) @@ -32,7 +32,7 @@ (modules runligo) (package ligo) (preprocess - (pps ppx_let ppx_blob bisect_ppx --conditional) + (pps ppx_let ppx_blob bisect_ppx -conditional) ) (flags (:standard -open Simple_utils)) ) diff --git a/src/dune b/src/dune index 0bfd1396c..8ca251203 100644 --- a/src/dune +++ b/src/dune @@ -9,6 +9,6 @@ main ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) ) diff --git a/src/main/compile/dune b/src/main/compile/dune index 6a900909f..00c859fe4 100644 --- a/src/main/compile/dune +++ b/src/main/compile/dune @@ -26,7 +26,7 @@ self_michelson ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils -open Tezos_utils )) ) diff --git a/src/main/dune b/src/main/dune index 802ab2af3..8bb2bb0c9 100644 --- a/src/main/dune +++ b/src/main/dune @@ -7,7 +7,7 @@ uncompile ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils -open Tezos_utils )) ) diff --git a/src/main/run/dune b/src/main/run/dune index c5179a3e6..9c74b8b10 100644 --- a/src/main/run/dune +++ b/src/main/run/dune @@ -19,7 +19,7 @@ compile ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils -open Tezos_utils )) ) diff --git a/src/main/uncompile/dune b/src/main/uncompile/dune index 8762c6abf..865d6050e 100644 --- a/src/main/uncompile/dune +++ b/src/main/uncompile/dune @@ -13,7 +13,7 @@ transpiler ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils -open Tezos_utils )) ) diff --git a/src/passes/1-parser/cameligo/dune b/src/passes/1-parser/cameligo/dune index 8824fdcd4..2909057a1 100644 --- a/src/passes/1-parser/cameligo/dune +++ b/src/passes/1-parser/cameligo/dune @@ -23,7 +23,7 @@ simple-utils tezos-utils) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Parser_shared -open Simple_utils))) ;; Build of the unlexer (for covering the @@ -33,7 +33,7 @@ (name Unlexer) (libraries str) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (modules Unlexer)) ;; Local build of a standalone lexer @@ -43,7 +43,7 @@ (libraries parser_cameligo) (modules LexerMain) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Parser_shared -open Parser_cameligo))) ;; Local build of a standalone parser @@ -53,7 +53,7 @@ (libraries parser_cameligo) (modules ParserMain) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Simple_utils -open Parser_shared -open Parser_cameligo))) ;; Build of the covering of error states in the LR automaton diff --git a/src/passes/1-parser/dune b/src/passes/1-parser/dune index 25154ae45..f5811b014 100644 --- a/src/passes/1-parser/dune +++ b/src/passes/1-parser/dune @@ -9,5 +9,5 @@ parser_cameligo parser_reasonligo) (preprocess - (pps ppx_let bisect_ppx --conditional)) + (pps ppx_let bisect_ppx -conditional)) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils -open Parser_shared))) diff --git a/src/passes/1-parser/pascaligo/dune b/src/passes/1-parser/pascaligo/dune index d0d43f02f..4a77ef091 100644 --- a/src/passes/1-parser/pascaligo/dune +++ b/src/passes/1-parser/pascaligo/dune @@ -22,7 +22,7 @@ hex simple-utils) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Parser_shared -open Simple_utils))) ;; Build of the unlexer (for covering the @@ -32,7 +32,7 @@ (name Unlexer) (libraries str) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (modules Unlexer)) ;; Local build of a standalone lexer @@ -43,7 +43,7 @@ hex simple-utils tezos-utils parser_pascaligo) (modules LexerMain) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Parser_shared -open Parser_pascaligo))) ;; Local build of a standalone parser @@ -53,7 +53,7 @@ (libraries parser_pascaligo) (modules ParserMain) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Simple_utils -open Parser_shared -open Parser_pascaligo))) ;; Build of the covering of error states in the LR automaton diff --git a/src/passes/1-parser/reasonligo/dune b/src/passes/1-parser/reasonligo/dune index 6eb7304b8..0a4bfb7b7 100644 --- a/src/passes/1-parser/reasonligo/dune +++ b/src/passes/1-parser/reasonligo/dune @@ -23,7 +23,7 @@ str simple-utils) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Parser_shared -open Simple_utils -open Parser_cameligo))) ;; Build of the unlexer (for covering the @@ -33,7 +33,7 @@ (name Unlexer) (libraries str) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (modules Unlexer)) ;; Local build of a standalone lexer @@ -43,7 +43,7 @@ (libraries parser_reasonligo) (modules LexerMain) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Parser_shared -open Parser_reasonligo))) ;; Local build of a standalone parser @@ -55,7 +55,7 @@ parser_cameligo) (modules ParserMain) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (flags (:standard -open Simple_utils -open Parser_cameligo -open Parser_shared -open Parser_reasonligo))) ;; Build of the covering of error states in the LR automaton diff --git a/src/passes/1-parser/shared/dune b/src/passes/1-parser/shared/dune index 10e377a93..724469e6d 100644 --- a/src/passes/1-parser/shared/dune +++ b/src/passes/1-parser/shared/dune @@ -10,7 +10,7 @@ getopt zarith) (preprocess - (pps bisect_ppx --conditional)) + (pps bisect_ppx -conditional)) (modules LexerUnit ParserUnit diff --git a/src/passes/10-interpreter/dune b/src/passes/10-interpreter/dune index d71a1f835..419e811ab 100644 --- a/src/passes/10-interpreter/dune +++ b/src/passes/10-interpreter/dune @@ -8,7 +8,7 @@ ligo_interpreter ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/10-transpiler/dune b/src/passes/10-transpiler/dune index 6c3139e5e..72d64cbfe 100644 --- a/src/passes/10-transpiler/dune +++ b/src/passes/10-transpiler/dune @@ -10,7 +10,7 @@ operators ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/11-self_mini_c/dune b/src/passes/11-self_mini_c/dune index fed4a09a1..8ef794b18 100644 --- a/src/passes/11-self_mini_c/dune +++ b/src/passes/11-self_mini_c/dune @@ -6,7 +6,7 @@ ) (inline_tests) (preprocess - (pps ppx_let ppx_expect bisect_ppx --conditional) + (pps ppx_let ppx_expect bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/12-compiler/dune b/src/passes/12-compiler/dune index 89878e2fd..9f5e9978d 100644 --- a/src/passes/12-compiler/dune +++ b/src/passes/12-compiler/dune @@ -9,7 +9,7 @@ operators ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils -open Tezos_utils )) ) diff --git a/src/passes/13-self_michelson/dune b/src/passes/13-self_michelson/dune index c5275ec70..1d8d18ddf 100644 --- a/src/passes/13-self_michelson/dune +++ b/src/passes/13-self_michelson/dune @@ -6,7 +6,7 @@ tezos-utils ) (preprocess - (pps ppx_let bisect_ppx --conditional ppx_expect) + (pps ppx_let bisect_ppx -conditional ppx_expect) ) (inline_tests) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) diff --git a/src/passes/2-concrete_to_imperative/dune b/src/passes/2-concrete_to_imperative/dune index c3f316ce4..22bfd708d 100644 --- a/src/passes/2-concrete_to_imperative/dune +++ b/src/passes/2-concrete_to_imperative/dune @@ -12,5 +12,5 @@ (preprocess (pps ppx_let - bisect_ppx --conditional)) + bisect_ppx -conditional)) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils))) diff --git a/src/passes/3-self_ast_imperative/dune b/src/passes/3-self_ast_imperative/dune index 2b1e5f8b5..45451138a 100644 --- a/src/passes/3-self_ast_imperative/dune +++ b/src/passes/3-self_ast_imperative/dune @@ -7,7 +7,7 @@ proto-alpha-utils ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/4-imperative_to_sugar/dune b/src/passes/4-imperative_to_sugar/dune index 445998b90..2e9da8237 100644 --- a/src/passes/4-imperative_to_sugar/dune +++ b/src/passes/4-imperative_to_sugar/dune @@ -8,7 +8,7 @@ proto-alpha-utils ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/5-self_ast_sugar/dune b/src/passes/5-self_ast_sugar/dune index 33b51be08..88afbdaf8 100644 --- a/src/passes/5-self_ast_sugar/dune +++ b/src/passes/5-self_ast_sugar/dune @@ -7,7 +7,7 @@ proto-alpha-utils ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/6-sugar_to_core/dune b/src/passes/6-sugar_to_core/dune index 4f4bb92e9..f63f486a0 100644 --- a/src/passes/6-sugar_to_core/dune +++ b/src/passes/6-sugar_to_core/dune @@ -8,7 +8,7 @@ proto-alpha-utils ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/7-self_ast_core/dune b/src/passes/7-self_ast_core/dune index e51afd86e..5b8518d0a 100644 --- a/src/passes/7-self_ast_core/dune +++ b/src/passes/7-self_ast_core/dune @@ -7,7 +7,7 @@ proto-alpha-utils ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/8-typer/dune b/src/passes/8-typer/dune index f6072da39..84529e901 100644 --- a/src/passes/8-typer/dune +++ b/src/passes/8-typer/dune @@ -11,7 +11,7 @@ operators ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/9-self_ast_typed/dune b/src/passes/9-self_ast_typed/dune index 0fc22a1d3..6fde9486e 100644 --- a/src/passes/9-self_ast_typed/dune +++ b/src/passes/9-self_ast_typed/dune @@ -6,7 +6,7 @@ ast_typed ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/passes/operators/dune b/src/passes/operators/dune index fa69f6257..80913153e 100644 --- a/src/passes/operators/dune +++ b/src/passes/operators/dune @@ -12,7 +12,7 @@ mini_c ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -open Simple_utils )) ) diff --git a/src/stages/1-ast_imperative/dune b/src/stages/1-ast_imperative/dune index 8966ca542..55616e5b9 100644 --- a/src/stages/1-ast_imperative/dune +++ b/src/stages/1-ast_imperative/dune @@ -7,7 +7,7 @@ stage_common ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -open Simple_utils )) ) diff --git a/src/stages/2-ast_sugar/dune b/src/stages/2-ast_sugar/dune index 6f1ca6fef..3e6029bb8 100644 --- a/src/stages/2-ast_sugar/dune +++ b/src/stages/2-ast_sugar/dune @@ -7,7 +7,7 @@ stage_common ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -open Simple_utils )) ) diff --git a/src/stages/3-ast_core/dune b/src/stages/3-ast_core/dune index ce45b1899..bc61b21ec 100644 --- a/src/stages/3-ast_core/dune +++ b/src/stages/3-ast_core/dune @@ -7,7 +7,7 @@ stage_common ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -open Simple_utils )) ) diff --git a/src/stages/4-ast_typed/dune b/src/stages/4-ast_typed/dune index d33c8dac6..7ac748eb7 100644 --- a/src/stages/4-ast_typed/dune +++ b/src/stages/4-ast_typed/dune @@ -8,7 +8,7 @@ stage_common ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -open Simple_utils)) ) diff --git a/src/stages/5-mini_c/dune b/src/stages/5-mini_c/dune index 827685e5e..8b10aa165 100644 --- a/src/stages/5-mini_c/dune +++ b/src/stages/5-mini_c/dune @@ -7,6 +7,6 @@ stage_common ) (inline_tests) - (preprocess (pps ppx_expect ppx_let bisect_ppx --conditional)) + (preprocess (pps ppx_expect ppx_let bisect_ppx -conditional)) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) ) diff --git a/src/stages/common/dune b/src/stages/common/dune index 0ce33599f..e798e3dff 100644 --- a/src/stages/common/dune +++ b/src/stages/common/dune @@ -7,7 +7,7 @@ ) (inline_tests) (preprocess - (pps ppx_let ppx_expect bisect_ppx --conditional) + (pps ppx_let ppx_expect bisect_ppx -conditional) ) (flags (:standard -open Simple_utils)) ) diff --git a/src/stages/ligo_interpreter/dune b/src/stages/ligo_interpreter/dune index 211275847..9bc06961f 100644 --- a/src/stages/ligo_interpreter/dune +++ b/src/stages/ligo_interpreter/dune @@ -8,7 +8,7 @@ stage_common ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -open Simple_utils)) ) diff --git a/src/stages/typesystem/dune b/src/stages/typesystem/dune index 922140cf4..952e9ad4b 100644 --- a/src/stages/typesystem/dune +++ b/src/stages/typesystem/dune @@ -8,7 +8,7 @@ mini_c ) (preprocess - (pps ppx_let bisect_ppx --conditional) + (pps ppx_let bisect_ppx -conditional) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils )) )