Merge pull request #297730 from wegank/stanc-refactor

stanc: move to by-name, refactor
This commit is contained in:
Weijia Wang
2024-03-21 23:36:53 +01:00
committed by GitHub
2 changed files with 5 additions and 15 deletions
@@ -1,6 +1,7 @@
{ lib
, fetchFromGitHub
, ocamlPackages
{
lib,
fetchFromGitHub,
ocamlPackages,
}:
ocamlPackages.buildDunePackage rec {
@@ -17,15 +18,8 @@ ocamlPackages.buildDunePackage rec {
hash = "sha256-ixZCix3oLZhzs08JbmbNCO0lhAu1Jf+KnpHNKlU/FaA=";
};
# Error: This expression has type [ `Use_Sys_unix ]
postPatch = ''
substituteInPlace test/integration/run_bin_on_args.ml \
--replace "if Sys.file_exists (to_windows path) then to_windows cmd else cmd" "cmd"
'';
nativeBuildInputs = with ocamlPackages; [ menhir ];
nativeBuildInputs = with ocamlPackages; [
menhir
];
buildInputs = with ocamlPackages; [
core_unix
menhirLib
-4
View File
@@ -17091,10 +17091,6 @@ with pkgs;
stalin = callPackage ../development/compilers/stalin { };
stanc = callPackage ../development/compilers/stanc {
ocamlPackages = ocaml-ng.ocamlPackages_4_14_janeStreet_0_15;
};
metaBuildEnv = callPackage ../development/compilers/meta-environment/meta-build-env { };
svd2rust = callPackage ../development/tools/rust/svd2rust { };