Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
16 November 2022, 21:30:08 UTC
Revision 4a1ce0d5e0829f3629d16550309fe7a70d2b651b authored by François Dupressoir on 28 November 2021, 17:26:46 UTC, committed by Pierre-Yves Strub on 02 December 2021, 08:09:28 UTC 
[docker] Build box base is now an opam image
 
The original base was 5 months out of date. An issue in the build was
due to opam running as root.

The replacement base image is setup for opam to not run as root while
allowing passwordless sudo.
1 parent 2e815c5
Raw File
Tip revision: 4a1ce0d5e0829f3629d16550309fe7a70d2b651b authored by François Dupressoir on 28 November 2021, 17:26:46 UTC
[docker] Build box base is now an opam image
Tip revision: 4a1ce0d
Makefile 
# -*- Makefile -*-

# --------------------------------------------------------------------
DUNE      ?= dune
ECARGS    ?=
ECTOUT    ?= 10
ECJOBS    ?= 1
ECEXTRA   ?= --report=report.log
ECPROVERS ?= Alt-Ergo Z3 CVC4
CHECKPY   ?=
CHECK     := $(CHECKPY) scripts/testing/runtest
CHECK     += --bin-args="$(ECARGS)" --bin-args="$(ECPROVERS:%=-p %)"
CHECK     += --timeout="$(ECTOUT)" --jobs="$(ECJOBS)"
CHECK     += $(ECEXTRA) config/tests.config

# --------------------------------------------------------------------
.PHONY: default build byte native tests check examples
.PHONY: clean install uninstall license

default: build
	@true

build:
	rm -f ec.native && $(DUNE) build && ln -sf src/ec.exe ec.native

install: build
	dune install

uninstall:
	dune uninstall

check: stdlib examples

stdlib: build
	$(CHECK) prelude stdlib

examples: build
	$(CHECK) examples mee-cbc

check: stdlib examples
	@true

clean:
	rm -f ec.native && dune clean
	find theories examples -name '*.eco' -exec rm '{}' ';'

clean_eco:
	find theories examples -name '*.eco' -exec rm '{}' ';'

license:
	scripts/srctx/license COPYRIGHT.yaml \
	  $(shell find src -name '*.ml' -o -name '*.ml[a-z]') \
	  $(shell find theories -name '*.ec' -o -name '*.ec[a-z]') \
	  $(shell find proofgeneral/easycrypt -name '*.el')
back to top