From 77422bb114b652e06efe985c8b4c5c15d93bdde2 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 5 Apr 2017 12:50:56 +0100 Subject: [PATCH] Document #51 --- README.org | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/README.org b/README.org index 79e65bf1..b5c36440 100644 --- a/README.org +++ b/README.org @@ -113,6 +113,23 @@ that preserves composability; i.e. it doesn't require to manually run all =./configure= script when working on multiple projects at the same time. +** Known bugs + +*** Optional libraries inside a multilib directory + +[[https://github.com/janestreet/jbuilder/issues/51]] + +If a directory contains several libraries and some are marked as +optional (by adding =(optional)= in the =(library ...)= stanza), then +the dependencies will still be required to perform the build. + +This could be sorted out with some refactoring, but there is a simple +workaround, so it is low-priority. + +**** Workaround + +Put each optional library in a separate directory. + ** Implementation details This section is for people who want to work on Jbuilder itself.