From 2628eba3068e29fc906bc1dfa1cd1d10ccc35ef4 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 2 Mar 2017 14:53:33 +0000 Subject: [PATCH] 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 --- src/jbuild | 2 +- vendor/re/src/jbuild | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jbuild b/src/jbuild index abbf3c45..c2618e45 100644 --- a/src/jbuild +++ b/src/jbuild @@ -2,7 +2,7 @@ (library ((name jbuilder) - (public_name jbuilder) +;; (public_name jbuilder) (libraries (unix jbuilder_re)) (synopsis "Internal Jbuilder library, do not use!"))) diff --git a/vendor/re/src/jbuild b/vendor/re/src/jbuild index 25eb16e1..107e1ad5 100644 --- a/vendor/re/src/jbuild +++ b/vendor/re/src/jbuild @@ -2,5 +2,5 @@ (library ((name jbuilder_re) - (public_name jbuilder.re) +;; (public_name jbuilder.re) (synopsis "Internal Jbuilder library, do not use!")))