Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
294d8573
Commit
294d8573
authored
Oct 21, 2020
by
Andre Maroneze
💬
Browse files
[Dev] fix Dockerfiles (use stable debian:buster) and add 19.1
parent
fb604b9f
Changes
5
Hide whitespace changes
Inline
Side-by-side
devel_tools/docker/frama-c.18.0/Dockerfile
0 → 100644
View file @
294d8573
FROM
debian:buster as base
# Install non-OCaml dependencies + opam
RUN
apt-get update
&&
apt-get
install
-y
\
cvc4
\
opam
\
z3
\
&&
rm
-rf
/var/lib/apt/lists/
*
RUN
opam init
--disable-sandboxing
--compiler
=
ocaml-base-compiler.4.05.0
-y
# "RUN eval $(opam env)" does not work, so we manually set its variables
ENV
OPAM_SWITCH_PREFIX "/root/.opam/ocaml-base-compiler.4.05.0"
ENV
CAML_LD_LIBRARY_PATH "/root/.opam/ocaml-base-compiler.4.05.0/lib/stublibs:/root/.opam/ocaml-base-compiler.4.05.0/lib/ocaml/stublibs:/root/.opam/ocaml-base-compiler.4.05.0/lib/ocaml"
ENV
OCAML_TOPLEVEL_PATH "/root/.opam/ocaml-base-compiler.4.05.0/lib/toplevel"
ENV
MANPATH "$MANPATH:/root/.opam/ocaml-base-compiler.4.05.0/man"
ENV
PATH "/root/.opam/ocaml-base-compiler.4.05.0/bin:$PATH"
RUN
opam update
-y
&&
opam
install
depext
-y
# Install packages from reference configuration
RUN
apt-get update
&&
opam update
-y
&&
opam depext
--install
-y
--verbose
\
alt-ergo.1.30
\
apron.20160125
\
conf-graphviz.0.1
\
mlgmpidl.1.2.7
\
ocamlfind.1.8.0
\
ocamlgraph.1.8.8
\
why3.0.88.3
\
yojson.1.4.1
\
zarith.1.7
\
&&
rm
-rf
/var/lib/apt/lists/
*
RUN
why3 config
--detect-provers
# with_source: keep Frama-C sources
ARG
with_source=no
RUN
cd
/root
&&
\
wget http://frama-c.com/download/frama-c-18.0-Argon.tar.gz
&&
\
tar
xvf frama-c-
*
.tar.gz
&&
\
(
cd
frama-c-
*
&&
\
./configure
--disable-gui
&&
\
make
-j
&&
\
make
install
\
)
&&
\
rm
-f
frama-c-
*
.tar.gz
&&
\
[
"
${
with_source
}
"
!=
"no"
]
||
rm
-rf
frama-c-
*
# with_test: run Frama-C tests; requires "with_source=yes"
ARG
with_test=no
RUN if
[
"
${
with_test
}
"
!=
"no"
]
;
then
\
apt-get update
&&
\
opam update
-y
&&
opam depext
--install
-y
\
conf-python-3.1.0.0
\
conf-time.1
\
--verbose
\
&&
\
rm
-rf
/var/lib/apt/lists/
*
&&
\
cd
/root/frama-c-
*
&&
\
make tests
;
\
fi
devel_tools/docker/frama-c.19.1/Dockerfile
0 → 100644
View file @
294d8573
FROM
debian:buster as base
# Install non-OCaml dependencies + opam
RUN
apt-get update
&&
apt-get
install
-y
\
cvc4
\
opam
\
z3
\
&&
rm
-rf
/var/lib/apt/lists/
*
RUN
opam init
--disable-sandboxing
--compiler
=
ocaml-base-compiler.4.05.0
-y
# "RUN eval $(opam env)" does not work, so we manually set its variables
ENV
OPAM_SWITCH_PREFIX "/root/.opam/ocaml-base-compiler.4.05.0"
ENV
CAML_LD_LIBRARY_PATH "/root/.opam/ocaml-base-compiler.4.05.0/lib/stublibs:/root/.opam/ocaml-base-compiler.4.05.0/lib/ocaml/stublibs:/root/.opam/ocaml-base-compiler.4.05.0/lib/ocaml"
ENV
OCAML_TOPLEVEL_PATH "/root/.opam/ocaml-base-compiler.4.05.0/lib/toplevel"
ENV
MANPATH "$MANPATH:/root/.opam/ocaml-base-compiler.4.05.0/man"
ENV
PATH "/root/.opam/ocaml-base-compiler.4.05.0/bin:$PATH"
RUN
opam update
-y
&&
opam
install
depext
-y
# Install packages from reference configuration
RUN
apt-get update
&&
opam update
-y
&&
opam depext
--install
-y
--verbose
\
alt-ergo-free.2.0.0
\
apron.20160125
\
conf-graphviz.0.1
\
mlgmpidl.1.2.9
\
ocamlfind.1.8.0
\
ocamlgraph.1.8.8
\
why3.1.2.0
\
yojson.1.4.1
\
zarith.1.7
\
&&
rm
-rf
/var/lib/apt/lists/
*
RUN
why3 config
--detect-provers
# with_source: keep Frama-C sources
ARG
with_source=no
RUN
cd
/root
&&
\
wget http://frama-c.com/download/frama-c-19.1-Potassium.tar.gz
&&
\
tar
xvf frama-c-
*
.tar.gz
&&
\
(
cd
frama-c-
*
&&
\
./configure
--disable-gui
&&
\
make
-j
&&
\
make
install
\
)
&&
\
rm
-f
frama-c-
*
.tar.gz
&&
\
[
"
${
with_source
}
"
!=
"no"
]
||
rm
-rf
frama-c-
*
# with_test: run Frama-C tests; requires "with_source=yes"
ARG
with_test=no
RUN if
[
"
${
with_test
}
"
!=
"no"
]
;
then
\
apt-get update
&&
\
opam update
-y
&&
opam depext
--install
-y
\
conf-python-3.1.0.0
\
conf-time.1
\
--verbose
\
&&
\
rm
-rf
/var/lib/apt/lists/
*
&&
\
cd
/root/frama-c-
*
&&
\
make tests
;
\
fi
devel_tools/docker/frama-c.20.0/Dockerfile
View file @
294d8573
FROM
debian:
sid
as base
FROM
debian:
buster
as base
# Install non-OCaml dependencies + opam
RUN
apt-get update
&&
apt-get
install
-y
\
...
...
@@ -58,7 +58,6 @@ RUN if [ "${with_test}" != "no" ]; then \
conf-time.1
\
--verbose
\
&&
\
apt-get
install
python
-y
&&
\
rm
-rf
/var/lib/apt/lists/
*
&&
\
cd
/root/frama-c-
*
&&
\
make tests
;
\
...
...
devel_tools/docker/frama-c.21.0/Dockerfile
View file @
294d8573
FROM
debian:
sid
as base
FROM
debian:
buster
as base
# Install non-OCaml dependencies + opam
RUN
apt-get update
&&
apt-get
install
-y
\
...
...
devel_tools/docker/frama-c.21.1/Dockerfile
View file @
294d8573
FROM
debian:
sid
as base
FROM
debian:
buster
as base
# Install non-OCaml dependencies + opam
RUN
apt-get update
&&
apt-get
install
-y
\
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment