pkgs/by-name/sc/scryer-prolog/package.nix

   1 {
   2   lib,
   3   rustPlatform,
   4   fetchFromGitHub,
   5   pkg-config,
   6   openssl,
   7   stdenv,
   8   darwin,
   9 }:
  10
  11 rustPlatform.buildRustPackage rec {
  12   pname = "scryer-prolog";
  13   version = "0.9.4";
  14
  15   src = fetchFromGitHub {
  16     owner = "mthom";
  17     repo = "scryer-prolog";
  18     rev = "v${version}";
  19     hash = "sha256-0c0MsjrHRitg+5VEHB9/iSuiqcPztF+2inDZa9fQpwU=";
  20   };
  21
  22   cargoHash = "sha256-q8s6HAJhKnMhsgZk5plR+ar3CpLKNqjrD14roDWLwfo=";
  23
  24   nativeBuildInputs = [ pkg-config ];
  25
  26   buildInputs =
  27     [ openssl ]
  28     ++ lib.optionals stdenv.hostPlatform.isDarwin [
  29       darwin.apple_sdk.frameworks.SystemConfiguration
  30     ];
  31
  32   CARGO_FEATURE_USE_SYSTEM_LIBS = true;
  33
  34   meta = with lib; {
  35     description = "Modern Prolog implementation written mostly in Rust";
  36     mainProgram = "scryer-prolog";
  37     homepage = "https://github.com/mthom/scryer-prolog";
  38     license = with licenses; [ bsd3 ];
  39     maintainers = with maintainers; [
  40       malbarbo
  41       wkral
  42     ];
  43   };
  44 }