mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-26 00:43:20 +00:00
571c71e6f7
We are migrating packages that meet below requirements: 1. using `callPackage` 2. called path is a directory 3. overriding set is empty (`{ }`) 4. not containing path expressions other than relative path (to makenixpkgs-vet happy) 5. not referenced by nix files outside of the directory, other than`pkgs/top-level/all-packages.nix` 6. not referencing nix files outside of the directory 7. not referencing `default.nix` (since it's changed to `package.nix`) 8. `outPath` doesn't change after migration The tool is here: https://github.com/Aleksanaa/by-name-migrate.
37 lines
832 B
Nix
37 lines
832 B
Nix
{ stdenv, lib, souffle, runCommand }:
|
|
let
|
|
simpleTest = { name, commands }:
|
|
stdenv.mkDerivation {
|
|
inherit name;
|
|
meta.timeout = 60;
|
|
buildCommand = ''
|
|
echo -e '.decl A(X: number)\n.output A\nA(1).' > A.dl
|
|
${commands}
|
|
[ "$(cat A.csv)" = "1" ]
|
|
touch $out
|
|
'';
|
|
};
|
|
in {
|
|
interpret = simpleTest {
|
|
name = "souffle-test-interpret";
|
|
commands = "${souffle}/bin/souffle A.dl";
|
|
};
|
|
|
|
compile-in-one-step = simpleTest {
|
|
name = "souffle-test-compile-in-one-step";
|
|
commands = ''
|
|
${souffle}/bin/souffle -o A A.dl
|
|
./A
|
|
'';
|
|
};
|
|
|
|
compile-in-two-steps = simpleTest {
|
|
name = "souffle-test-compile-in-two-steps";
|
|
commands = ''
|
|
${souffle}/bin/souffle -g A.cpp A.dl
|
|
${souffle}/bin/souffle-compile.py A.cpp -o A
|
|
./A
|
|
'';
|
|
};
|
|
}
|