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

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