ocaml-z3 icon indicating copy to clipboard operation
ocaml-z3 copied to clipboard

Published 20 hours ago • verified publisher icon arjunguha

Use jbuilder

Open rvantonder opened this issue 7 years ago • 0 comments

Hi, I wrote a jbuilder configuration for this library (oasis build was giving trouble with recent ppx). If the library can appreciably benefit (autogen merlin files, etc), let me know and I'll PR. Or feel free to just take things from my changes. See aa9a3e2bb893c49dd3f66fc964489d888d893c38

rvantonder avatar Oct 25 '17 18:10 rvantonder