[pkgsrc/trunk]: pkgsrc/devel/why3 why3: add missing ocaml-num dependency

[wiz <wiz%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/eed37d0f99a7
branches:  trunk
changeset: 386634:eed37d0f99a7
user:      wiz <wiz%pkgsrc.org@localhost>
date:      Wed Oct 12 10:22:30 2022 +0000

description:
why3: add missing ocaml-num dependency

still fails with PLIST issues

diffstat:

 devel/why3/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (15 lines):

diff -r 99270c4b3769 -r eed37d0f99a7 devel/why3/Makefile
--- a/devel/why3/Makefile       Wed Oct 12 08:48:33 2022 +0000
+++ b/devel/why3/Makefile       Wed Oct 12 10:22:30 2022 +0000
@@ -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 @@
 INSTALL_TARGET=                install install-lib
 
 .include "../../lang/ocaml/buildlink3.mk"
+.include "../../math/ocaml-num/buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"