From e45e431588771e45eab35dbc1356ecb85a6f993e Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Fri, 1 Jun 2018 15:25:35 +0200 Subject: [PATCH] Fix error message when no package is defined (#836) Closes #830 Signed-off-by: Etienne Millon --- src/jbuild.ml | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/src/jbuild.ml b/src/jbuild.ml index 61a5ca6d..3526e321 100644 --- a/src/jbuild.ml +++ b/src/jbuild.ml @@ -107,11 +107,10 @@ module Pkg = struct | [pkg] -> Ok pkg | [] -> Error - "The current project (%S declared in defines no packages.\n\ - What do you want me to do with this (install ...) stanzas?.\n\ - You need to add a .opam file at the root \ - of your project so that\n\ - I know that you want to install things as part of package ." + "The current project defines some public elements, \ + but no opam packages are defined.\n\ + Please add a .opam file at the project root \ + so that these elements are installed into it." | _ :: _ :: _ -> Error (sprintf