matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Don't install jbuilder as a library 

The API is not stable at all, so let's not do it until the Jenga
bridge is ready
This commit is contained in:
Jeremie Dimino 2017-03-02 14:53:33 +00:00
parent d858bfdda9
commit 2628eba306
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/jbuild
View File

@ -2,7 +2,7 @@
(library
((name jbuilder)
(public_name jbuilder)
;; (public_name jbuilder)
(libraries (unix jbuilder_re))
(synopsis "Internal Jbuilder library, do not use!")))

2
vendor/re/src/jbuild vendored
View File

@ -2,5 +2,5 @@
(library
((name jbuilder_re)
(public_name jbuilder.re)
;; (public_name jbuilder.re)
(synopsis "Internal Jbuilder library, do not use!")))