diff options
Diffstat (limited to 'pkgs/development/compilers/scryer-prolog/default.nix')
-rw-r--r-- | pkgs/development/compilers/scryer-prolog/default.nix | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/pkgs/development/compilers/scryer-prolog/default.nix b/pkgs/development/compilers/scryer-prolog/default.nix deleted file mode 100644 index 49818fee3e10..000000000000 --- a/pkgs/development/compilers/scryer-prolog/default.nix +++ /dev/null @@ -1,42 +0,0 @@ -{ lib -, rustPlatform -, fetchFromGitHub -, pkg-config -, openssl -, gmp -, libmpc -, mpfr -, stdenv -, darwin -}: - -rustPlatform.buildRustPackage rec { - pname = "scryer-prolog"; - version = "0.9.4"; - - src = fetchFromGitHub { - owner = "mthom"; - repo = "scryer-prolog"; - rev = "v${version}"; - hash = "sha256-0c0MsjrHRitg+5VEHB9/iSuiqcPztF+2inDZa9fQpwU="; - }; - - cargoSha256 = "sha256-q8s6HAJhKnMhsgZk5plR+ar3CpLKNqjrD14roDWLwfo="; - - nativeBuildInputs = [ pkg-config ]; - - buildInputs = [ openssl gmp libmpc mpfr ] - ++ lib.optionals stdenv.isDarwin [ - darwin.apple_sdk.frameworks.SystemConfiguration - ]; - - CARGO_FEATURE_USE_SYSTEM_LIBS = true; - - meta = with lib; { - description = "Modern Prolog implementation written mostly in Rust"; - mainProgram = "scryer-prolog"; - homepage = "https://github.com/mthom/scryer-prolog"; - license = with licenses; [ bsd3 ]; - maintainers = with maintainers; [ malbarbo wkral ]; - }; -} |