From e6e5196e83b98a1d19782eabd3fdcec2073712c1 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 2 Mar 2017 18:31:33 +0000 Subject: [PATCH] 114.34+110 --- Makefile | 3 +-- ppx_let.opam | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 9d6511116..d22335670 100644 --- a/Makefile +++ b/Makefile @@ -1,9 +1,8 @@ INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),) -NAME := ppx_let # Default rule default: - jbuilder build-package $(NAME) + jbuilder build @install install: jbuilder install $(INSTALL_ARGS) diff --git a/ppx_let.opam b/ppx_let.opam index 5328321e2..f4f48e5a6 100644 --- a/ppx_let.opam +++ b/ppx_let.opam @@ -6,7 +6,7 @@ bug-reports: "https://github.com/janestreet/ppx_let/issues" dev-repo: "https://github.com/janestreet/ppx_let.git" license: "Apache-2.0" build: [ - ["jbuilder" "build-package" "ppx_let" "-j" jobs] + ["jbuilder" "build" "--only-packages" "ppx_let" "--root" "." "-j" jobs] ] depends: [ "jbuilder"