{ stdenv, lib, fetchFromGitHub , cmake, libedit, gmpxx, bison, flex , enableReadline ? false, readline , gtest }: stdenv.mkDerivation rec { pname = "opensmt"; version = "2.2.0"; src = fetchFromGitHub { owner = "usi-verification-and-security"; repo = "opensmt"; rev = "v${version}"; sha256 = "sha256-6VkBGDzqG3mplpvFh5DIR0I1I2/J0Pi7xYk/yVn04Kg="; }; nativeBuildInputs = [ cmake bison flex ]; buildInputs = [ libedit gmpxx ] ++ lib.optional enableReadline readline; preConfigure = '' substituteInPlace test/CMakeLists.txt \ --replace 'FetchContent_Populate' '#FetchContent_Populate' ''; cmakeFlags = [ "-Dgoogletest_SOURCE_DIR=${gtest.src}" "-Dgoogletest_BINARY_DIR=./gtest-build" ]; meta = with lib; { description = "A satisfiability modulo theory (SMT) solver"; maintainers = [ maintainers.raskin ]; platforms = platforms.linux; license = if enableReadline then licenses.gpl2Plus else licenses.mit; homepage = "https://github.com/usi-verification-and-security/opensmt"; }; }