Merge pull request from wegank/rml-refactor

rml: use prefixKey
This commit is contained in:
Weijia Wang 2023-04-06 01:27:23 +03:00 committed by GitHub
commit 4da8ffc935
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,6 +15,8 @@ stdenv.mkDerivation rec {
hash = "sha256-UFqXQBeIQMSV4O439j9s06p1hh7xA98Tu79FsjK9PIY="; hash = "sha256-UFqXQBeIQMSV4O439j9s06p1hh7xA98Tu79FsjK9PIY=";
}; };
strictDeps = true;
nativeBuildInputs = with ocamlPackages; [ nativeBuildInputs = with ocamlPackages; [
ocaml ocaml
]; ];
@ -23,9 +25,7 @@ stdenv.mkDerivation rec {
num num
]; ];
configureFlags = [ "--prefix" "${placeholder "out"}" ]; prefixKey = "-prefix ";
dontAddPrefix = true;
meta = with lib; { meta = with lib; {
description = "ReactiveML: a programming language for implementing interactive systems"; description = "ReactiveML: a programming language for implementing interactive systems";