ci: compile with warning as errors

EasyCrypt · Sep 25, 2024 · 8bd1069 · 8bd1069
1 parent 05ec7e1
commit 8bd1069
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -34,7 +34,7 @@ jobs:
         opam pin add -n easycrypt .
         opam install --deps-only easycrypt
     - name: Compile EasyCrypt
-      run: opam exec -- make
+      run: opam exec -- make PROFILE=ci
 
   compile-nix:
     name: EasyCrypt compilation (nix)

diff --git a/Makefile b/Makefile
@@ -14,6 +14,7 @@ CHECK     += --bin-args=-timeout --bin-args="$(ECTOUT)"
 CHECK     += $(foreach arg,$(ECARGS),--bin-args="$(arg)")
 CHECK     += $(ECEXTRA) config/tests.config
 NIX       ?= nix --extra-experimental-features "nix-command flakes"
+PROFILE   ?= dev
 
 # --------------------------------------------------------------------
 UNAME_P = $(shell uname -p)
@@ -29,7 +30,7 @@ default: build
 
 build:
 	rm -f src/ec.exe ec.native
-	dune build
+	$(DUNE) build --profile=$(PROFILE)
 	ln -sf src/ec.exe ec.native
 ifeq ($(UNAME_P)-$(UNAME_S),arm-Darwin)
 	-codesign -f -s - src/ec.exe

diff --git a/src/dune b/src/dune
@@ -1,6 +1,7 @@
 (env
  (dev     (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69))
- (release (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69)
+ (ci      (flags :standard -rectypes -warn-error +a    -w +28+33-9-23-32-58-67-69))
+ (release (flags :standard -rectypes -warn-error -a    -w +28+33-9-23-32-58-67-69)
           (ocamlopt_flags -O3 -unbox-closures)))
 
 (include_subdirs unqualified)