diff options
author | wiz <wiz@pkgsrc.org> | 2022-10-12 10:22:30 +0000 |
---|---|---|
committer | wiz <wiz@pkgsrc.org> | 2022-10-12 10:22:30 +0000 |
commit | aeb826d8a8bde60a62bbb4c693c84d1420a1c3dd (patch) | |
tree | 6e9f0f5c030d3f6d5fa199357c701c95c28dae5f | |
parent | 3d247ce82c6a6ee10a46982211a329d9a0762bb5 (diff) | |
download | pkgsrc-aeb826d8a8bde60a62bbb4c693c84d1420a1c3dd.tar.gz |
why3: add missing ocaml-num dependency
still fails with PLIST issues
-rw-r--r-- | devel/why3/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/why3/Makefile b/devel/why3/Makefile index 928ac0d9744..91531dd365c 100644 --- a/devel/why3/Makefile +++ b/devel/why3/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.2 2022/10/09 06:46:57 tonio Exp $ +# $NetBSD: Makefile,v 1.3 2022/10/12 10:22:30 wiz Exp $ DISTNAME= why3-1.5.1 PKGREVISION= 1 @@ -19,4 +19,5 @@ CONFIGURE_ARGS+= --disable-ide INSTALL_TARGET= install install-lib .include "../../lang/ocaml/buildlink3.mk" +.include "../../math/ocaml-num/buildlink3.mk" .include "../../mk/bsd.pkg.mk" |