From b8d924e802f85bf3746cb6a0acc4d9fc5490c006 Mon Sep 17 00:00:00 2001 From: Jean-Noel Avila Date: Sat, 27 Jan 2018 18:31:02 +0100 Subject: [PATCH] Sync with latest opam descriptions --- kicadsch.opam | 2 +- plotkicadsch.opam | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kicadsch.opam b/kicadsch.opam index a310232..935219a 100644 --- a/kicadsch.opam +++ b/kicadsch.opam @@ -6,7 +6,7 @@ bug-reports: "https://github.com/jnavila/plotkicadsch/issues" license: "ISC" dev-repo: "https://github.com/jnavila/plotkicadsch.git" build: [ - [ "jbuilder" "subst" "-n" "kicadsch" ] {pinned} + [ "jbuilder" "subst" "-n" name ] {pinned} [ "jbuilder" "build" "-p" name "-j" jobs ] ] build-test: [["jbuilder" "runtest" "-p" name "-j" jobs]] diff --git a/plotkicadsch.opam b/plotkicadsch.opam index 8ce131d..5c9f744 100644 --- a/plotkicadsch.opam +++ b/plotkicadsch.opam @@ -6,7 +6,7 @@ bug-reports: "https://github.com/jnavila/plotkicadsch/issues" license: "ISC" dev-repo: "https://github.com/jnavila/plotkicadsch.git" build: [ - [ "jbuilder" "subst" "-n" "plotkicadsch" ] {pinned} + [ "jbuilder" "subst" "-n" name ] {pinned} [ "jbuilder" "build" "-p" name "-j" jobs ] ] depends: [ @@ -18,7 +18,7 @@ depends: [ "git" "git-unix" "base64" - "patience_diff" + "patience_diff" { >= "v0.10.0" } "core_kernel" "cmdliner" ]