Fix refmt

This commit is contained in:
Antonio Nuno Monteiro 2020-03-09 10:20:10 -07:00
parent 7107e397dd
commit c09411b89e
No known key found for this signature in database
GPG key ID: 5B5AF478F0A6392D

View file

@ -47,7 +47,7 @@ stdenv.mkDerivation rec {
installPhase = ''
mkdir -p $out/bin
cp -rf jscomp lib ${bin_folder} vendor odoc_gen native bsb bsc $out
cp -rf jscomp lib ${bin_folder} vendor odoc_gen native bsb bsc bsrefmt $out
mkdir $out/lib/ocaml
cp jscomp/runtime/js.* jscomp/runtime/*.cm* $out/lib/ocaml
cp jscomp/others/*.ml jscomp/others/*.mli jscomp/others/*.cm* $out/lib/ocaml
@ -55,5 +55,6 @@ stdenv.mkDerivation rec {
cp bsconfig.json package.json $out
ln -s $out/bsb $out/bin/bsb
ln -s $out/bsc $out/bin/bsc
ln -s $out/bsrefmt $out/bin/bsrefmt
'';
}