CVS commit: pkgsrc/devel/why3

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Wed Oct 12 10:22:30 UTC 2022

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
why3: add missing ocaml-num dependency

still fails with PLIST issues


To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 pkgsrc/devel/why3/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/why3/Makefile
diff -u pkgsrc/devel/why3/Makefile:1.2 pkgsrc/devel/why3/Makefile:1.3
--- pkgsrc/devel/why3/Makefile:1.2      Sun Oct  9 06:46:57 2022
+++ pkgsrc/devel/why3/Makefile  Wed Oct 12 10:22:30 2022
@@ -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"