about summary refs log tree commit diff
path: root/pkgs/development/compilers/scryer-prolog/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/scryer-prolog/default.nix')
-rw-r--r--pkgs/development/compilers/scryer-prolog/default.nix42
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 ];
-  };
-}