Commit 8aede8aa authored by François Bobot's avatar François Bobot Committed by Julien Signoles

[CI] Add gmp dependency to e-acsl test

parent 487257a1
...@@ -180,7 +180,7 @@ rec { ...@@ -180,7 +180,7 @@ rec {
e-acsl-tests-dev = stdenv.mkDerivation { e-acsl-tests-dev = stdenv.mkDerivation {
name = "frama-c-e-acsl-tests-dev"; name = "frama-c-e-acsl-tests-dev";
buildInputs = mk_buildInputs {}; buildInputs = mk_buildInputs { nixPackages = [ pkgs.gmp pkgs.getopt ]; };
build_dir = main.build_dir; build_dir = main.build_dir;
src = main.build_dir + "/dir.tar"; src = main.build_dir + "/dir.tar";
sourceRoot = "."; sourceRoot = ".";
...@@ -193,7 +193,8 @@ rec { ...@@ -193,7 +193,8 @@ rec {
buildPhase = '' buildPhase = ''
make clean_share_link make clean_share_link
make create_share_link make create_share_link
make E_ACSL_TESTS -j 4 PTESTS_OPTS="-error-code -j 4" DEV=yes bin/ptests.opt -error-code -config dev src/plugins/e-acsl/tests/gmp-only/arith.i
bin/ptests.opt -error-code -config dev src/plugins/e-acsl/tests
''; '';
installPhase = '' installPhase = ''
true true
...@@ -203,7 +204,7 @@ rec { ...@@ -203,7 +204,7 @@ rec {
internal = stdenv.mkDerivation { internal = stdenv.mkDerivation {
name = "frama-c-internal"; name = "frama-c-internal";
inherit src; inherit src;
buildInputs = (mk_buildInputs { opamPackages = [ "xml-light" ];} ) ++ buildInputs = (mk_buildInputs { opamPackages = [ "xml-light" ]; } ) ++
[ pkgs.getopt pkgs.which [ pkgs.getopt pkgs.which
pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook stdenv.cc.cc.lib pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook stdenv.cc.cc.lib
]; ];
......
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --gmp -I @frama-c@ -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null EXEC: ./scripts/e-acsl-gcc.sh --gmp -I @frama-c@ -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ && ./@DEST@.e-acsl
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment