default.nix

with (import <nixpkgs> {});
let
    # piranha = import ../../piranha/default.nix;
    myStdenv = gcc8Stdenv;
    myBoost = boost.override { stdenv=myStdenv; };
    myZ3 = z3.override { stdenv=myStdenv; };
    # myGmp = gmp.override { stdenv=myStdenv; };
    # myMpfr = mpfr.override { stdenv=myStdenv; };
    # myFlex = flex.override { stdenv=myStdenv; };
    # myCmake = cmake.override { stdenv=myStdenv; };
    piranha = myStdenv.mkDerivation {
      name = "piranha";
      src = fetchurl {
        url = https://github.com/bluescarni/piranha/archive/v0.11.tar.gz;
        sha256 = "0c32kbym6smrhdhbadj7xqldlgkqc15nmh2jqwk8g220d9lq4mxb";
      };
      buildInputs = [
        myBoost
        cmake gmp mpfr
        # myCmake myGmp myMpfr
        ];
    };
    smtplan = myStdenv.mkDerivation {
      name = "SMTPlan";
      src = fetchurl {
        url = https://github.com/KCL-Planning/SMTPlan/archive/edda8a805ea2b4086e0cf31b9756f55369ce084e.zip;
        sha256 = "0f6rdskfqyln66b6rzbq0d806xlybzxivqpkjnsjy6skzb01fd97";
      };
      sourceRoot = "SMTPlan";
      buildInputs = [
      piranha
      myZ3 myBoost
      cmake flex gmp mpfr
      # myCmake myFlex myGmp myMpfr
      ];
    };
in
smtplan

link error

[ 81%] Building CXX object CMakeFiles/SMTPlan.dir/src/VALfiles/src/pddl+.cpp.o
[ 87%] Building CXX object CMakeFiles/SMTPlan.dir/src/VALfiles/src/ptree.cpp.o
[ 93%] Building CXX object CMakeFiles/SMTPlan.dir/src/VALfiles/src/typecheck.cpp.o
[100%] Linking CXX executable SMTPlan
/nix/store/hrkc2sf2883l16d5yq3zg0y339kfw4xv-binutils-2.31.1/bin/ld: /nix/store/s8s52abfgla42w9hfg9gln9afp1xlfm1-boost-1.69.0/lib/libboost_thread.so: undefined reference to `std::__cxx11::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >::basic_ostringstream()@GLIBCXX_3.4.26'
collect2: error: ld returned 1 exit status
make[2]: *** [CMakeFiles/SMTPlan.dir/build.make:306: SMTPlan] Error 1
make[1]: *** [CMakeFiles/Makefile2:76: CMakeFiles/SMTPlan.dir/all] Error 2
make: *** [Makefile:130: all] Error 2
builder for '/nix/store/a1pd5c4rlbgl1scq3l61d5cvh03ykg52-SMTPlan.drv' failed with exit code 2
error: build of '/nix/store/a1pd5c4rlbgl1scq3l61d5cvh03ykg52-SMTPlan.drv' failed