Commit 345bb518 authored by François Bobot's avatar François Bobot Committed by Julien Signoles

[CI] remove e-acsl standalone ci configuration

parent 492283b4
......@@ -193,8 +193,7 @@ rec {
buildPhase = ''
make clean_share_link
make create_share_link
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
make E_ACSL_TESTS PTESTS_OPTS="-error-code" DEV=yes
'';
installPhase = ''
true
......
# paramaterised derivation with dependencies injected (callPackage style)
{ pkgs, stdenv, src ? ../., opam2nix, ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }:
let plugin = plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
deps = [ pkgs.getopt pkgs.which ];
name = "e-acsl";
preBuild = ''
echo IN_FRAMA_CI=yes > in_frama_ci
'';
};
in
plugin //
{
tests-dev = stdenv.mkDerivation {
# performs "make tests" in externalized compilation mode
name = "e-acsl-tests-dev";
buildInputs = plugin.buildInputs;
src = plugin.main.build_dir;
build_dir = plugin.main.build_dir;
configurePhase = ''
true
'';
buildPhase = ''
tar -xf $build_dir/dir.tar
# path substitutions into some files without timestamp modification (for doing tests without re-build)
find . \( -name "Makefile*" -or -name ".depend" -o -name "ptests_config" -o -name "config.status" \) -exec bash -c "t=\$(stat -c %y \"\$0\"); sed -i -e \"s&$(cat $build_dir/old_pwd)&$(pwd)&g\" \"\$0\"; touch -d \"\$t\" \"\$0\"" {} \;
_callImplicitHook 0 preFramaCTests
FRAMAC_PLUGIN="$(pwd):$FRAMAC_PLUGIN"
make tests -j 4 PTESTS_OPTS="-error-code -j 4" DEV=yes
'';
installPhase = ''
true
'';
};
}
#To copy in other repository
{ pkgs ? import <nixpkgs> {}, password}:
let
src = builtins.fetchGit {
"url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git";
"name" = "Frama-CI";
"rev" = "cea0f2d2872e59fd3e6fe4634891a3765c7036e8";
"ref" = "master";
};
in
{
src = src;
compiled = pkgs.callPackage "${src}/compile.nix" { inherit pkgs; };
}
#!/bin/sh -eu
DIR=$(dirname $0)
export FRAMA_CI_NIX=$DIR/frama-ci.nix
export FRAMA_CI=$(nix-instantiate --eval -E "((import <nixos-19.03> {}).callPackage $FRAMA_CI_NIX { password = \"$TOKEN_FOR_API\";}).src.outPath")
FRAMA_CI=${FRAMA_CI#\"}
FRAMA_CI=${FRAMA_CI%\"}
$FRAMA_CI/compile.sh $@
MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
MACRO: OUT @PTEST_NAME@.res.log
MACRO: ERR @PTEST_NAME@.err.log
EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -I @frama-c@ -D -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@.out.e-acsl > /dev/null
EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -I @frama-c@ -D -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@.out.e-acsl > /dev/null
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