ci: compile with warning as errors

Author: strub

.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)

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

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)