114.34+110

This commit is contained in:
Jeremie Dimino 2017-03-02 18:31:33 +00:00
parent dff1c815ec
commit e6e5196e83
2 changed files with 2 additions and 3 deletions

View File

@ -1,9 +1,8 @@
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),) INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
NAME := ppx_let
# Default rule # Default rule
default: default:
jbuilder build-package $(NAME) jbuilder build @install
install: install:
jbuilder install $(INSTALL_ARGS) jbuilder install $(INSTALL_ARGS)

View File

@ -6,7 +6,7 @@ bug-reports: "https://github.com/janestreet/ppx_let/issues"
dev-repo: "https://github.com/janestreet/ppx_let.git" dev-repo: "https://github.com/janestreet/ppx_let.git"
license: "Apache-2.0" license: "Apache-2.0"
build: [ build: [
["jbuilder" "build-package" "ppx_let" "-j" jobs] ["jbuilder" "build" "--only-packages" "ppx_let" "--root" "." "-j" jobs]
] ]
depends: [ depends: [
"jbuilder" "jbuilder"