Merge pull request #229896 from ulrikstrid/ulrikstrid--fix-hacl-star-raw

ocamlPackages.hacl-star-raw: fix build
This commit is contained in:
Weijia Wang 2023-05-04 17:19:18 +03:00 committed by GitHub
commit e9075162eb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -38,12 +38,14 @@ stdenv.mkDerivation rec {
runHook postBuild
'';
preInstall = ''
mkdir $out
mkdir -p $OCAMLFIND_DESTDIR/stublibs
'';
installPhase = ''
runHook preInstall
echo $OCAMLFIND_DESTDIR
mkdir $out
mkdir -p $OCAMLFIND_DESTDIR/stublibs
make -C hacl-star-raw install
runHook postInstall