Update opam file

This commit is contained in:
Jeremie Dimino 2017-04-21 17:43:33 +01:00
parent 644278311d
commit ef1e2a619d
1 changed files with 2 additions and 1 deletions

View File

@ -7,7 +7,7 @@ homepage: "https://github.com/diml/utop"
bug-reports: "https://github.com/diml/utop/issues" bug-reports: "https://github.com/diml/utop/issues"
dev-repo: "git://github.com/diml/utop.git" dev-repo: "git://github.com/diml/utop.git"
build: [ build: [
["jbuilder" "build" "@install" "--root" "." "--only" "utop" "-j" jobs] ["jbuilder" "build" "-p" name "-j" jobs]
] ]
depends: [ depends: [
"base-unix" "base-unix"
@ -18,6 +18,7 @@ depends: [
"react" {>= "1.0.0"} "react" {>= "1.0.0"}
"cppo" {build & >= "1.1.2"} "cppo" {build & >= "1.1.2"}
"findlib_top" "findlib_top"
"jbuilder" {build & >= "1.0+beta7"}
] ]
depopts: [ depopts: [
"ppx_tools" "ppx_tools"