Merge pull request #279 from tahina-pro/_taramana_ci_macos

Mitigate new compiler errors on MacOS

Author: tahina-pro

share/everparse/tests/lowparse/Makefile

@@ -18,6 +18,10 @@ include $(EVERPARSE_SRC_PATH)/common.Makefile
 
 KRML_OPTS += -warn-error @4@6
 
+ifeq ($(OS),Darwin)
+KRML_OPTS += -ccopt -Wno-tautological-constant-out-of-range-compare
+endif
+
 KRML=$(KRML_HOME)/krml -fstar $(FSTAR_EXE) $(KRML_OPTS)
 
 EXAMPLES=Example3 ExampleConstInt32le Example2 Example5 Example7 Example8 Example9 Example10 Example11 Example12 ExampleDepLen

share/everparse/tests/qd/unit/extracted.Makefile

@@ -32,6 +32,10 @@ FSTAR = $(FSTAR_EXE) $(FSTAR_OPTIONS)
 
 HEADERS = $(addprefix -add-include ,'"krml/internal/compat.h"')
 
+ifeq ($(OS),Darwin)
+KRML_OPTS += -ccopt -Wno-tautological-constant-out-of-range-compare
+endif
+
 # -Wno-tautological-overlap-compare because of T32
 KRML = $(KRML_HOME)/krml \
 	 -fstar $(FSTAR_EXE) \