Closed gaku-sei closed 3 years ago
After the library is installed, we should move the proper binary (max or linux) to $ROOT/lenses-ppx instead of using a shell script at runtime as it slows down the compilation 😕
$ROOT/lenses-ppx
Closed by https://github.com/scoville/re-optic/pull/8
gaku-sei
commented
3 years ago
After the library is installed, we should move the proper binary (max or linux) to
$ROOT/lenses-ppxinstead of using a shell script at runtime as it slows down the compilation 😕