File tree Expand file tree Collapse file tree 1 file changed +5
-7
lines changed Expand file tree Collapse file tree 1 file changed +5
-7
lines changed Original file line number Diff line number Diff line change 3737 2 . Extract distribution archive.
3838 3 . Run Docker container in extracted directory: ` docker run -it --rm -v $(pwd):/goblint ocaml/opam:ubuntu-22.04-ocaml-4.14 ` (or newer).
3939 4 . Navigate to distribution archive inside Docker container: ` cd /goblint ` .
40- 5 . Pin package from distribution archive: ` opam pin add --no-action . ` .
41- 6 . Install depexts: ` opam depext --with-test goblint ` .
42- 7 . Install and test package: ` opam install --with-test goblint ` .
43- 8 . Activate opam environment: ` eval $(opam env) ` .
44- 9 . Check version: ` goblint --version ` .
45- 10 . Check that analysis works: ` goblint -v tests/regression/04-mutex/01-simple_rc.c ` .
46- 11 . Exit Docker container.
40+ 5 . Install and test package from distribution archive: ` opam-2.1 install --with-test . ` .
41+ 6 . Activate opam environment: ` eval $(opam env) ` .
42+ 7 . Check version: ` goblint --version ` .
43+ 8 . Check that analysis works: ` goblint -v tests/regression/04-mutex/01-simple_rc.c ` .
44+ 9 . Exit Docker container.
4745
484612 . Temporarily enable Zenodo GitHub webhook.
4947
You can’t perform that action at this time.
0 commit comments