File tree 2 files changed +7
-1
lines changed
2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change @@ -69,7 +69,12 @@ ocaml_version:
69
69
ocaml_word_size :
70
70
@if ! ocamlopt -config | grep " word_size:" | grep $(WORD_SIZE ) ; then echo " invalid machine word size, expected $( WORD_SIZE) " ; exit 1; fi
71
71
72
- ocaml_checks : ocaml_version ocaml_word_size
72
+ check_opam_switch :
73
+ ifneq ($(DISABLE_CHECK_OPAM_SWITCH ) , true)
74
+ check_opam_switch opam.export
75
+ endif
76
+
77
+ ocaml_checks : ocaml_version ocaml_word_size check_opam_switch
73
78
74
79
libp2p_helper :
75
80
make -C src/app/libp2p_helper
Original file line number Diff line number Diff line change 133
133
GO_CAPNP_STD = "${ pkgs . go-capnproto2 . src } /std" ;
134
134
135
135
MARLIN_PLONK_STUBS = "${ pkgs . marlin_plonk_bindings_stubs } /lib" ;
136
+ DISABLE_CHECK_OPAM_SWITCH = "true" ;
136
137
configurePhase = ''
137
138
export MINA_ROOT="$PWD"
138
139
patchShebangs .
You can’t perform that action at this time.
0 commit comments