tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 stdenv,
3 coq,
4 wasmcert,
5}:
6
7stdenv.mkDerivation {
8 pname = "wasmcert-interpreter-test";
9 inherit (wasmcert) src version;
10 nativeCheckInputs = [
11 wasmcert
12 coq
13 ];
14 dontConfigure = true;
15 dontBuild = true;
16 doCheck = true;
17
18 checkPhase = ''
19 coqc .ci/import_test.v
20
21 wasm_coq_interpreter tests/add.wasm -r main
22
23 if [ $? -ne 0 ]; then
24 echo "Wasm_coq_interpreter failed to run hello world program"
25 exit 1
26 fi
27 '';
28
29 installPhase = "touch $out";
30}