CVS commit: pkgsrc/devel/why3

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Sun Mar  9 19:44:10 UTC 2025

Modified Files:
        pkgsrc/devel/why3: Makefile PLIST

Log Message:
why3: Disable emacs; otherwise it finds it and installs a .elc file

PKGREVISION -> 1


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

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.6 pkgsrc/devel/why3/Makefile:1.7
--- pkgsrc/devel/why3/Makefile:1.6      Mon Mar  3 03:27:04 2025
+++ pkgsrc/devel/why3/Makefile  Sun Mar  9 19:44:10 2025
@@ -1,6 +1,7 @@
-# $NetBSD: Makefile,v 1.6 2025/03/03 03:27:04 dholland Exp $
+# $NetBSD: Makefile,v 1.7 2025/03/09 19:44:10 dholland Exp $
 
 DISTNAME=      why3-1.8.0
+PKGREVISION=   1
 CATEGORIES=    devel
 MASTER_SITES=  https://why3.gitlabpages.inria.fr/releases/
 
@@ -14,6 +15,7 @@ DEPENDS+=     menhir-[0-9]*:../../devel/menh
 GNU_CONFIGURE= yes
 USE_TOOLS+=    gmake
 
+CONFIGURE_ARGS+=       --disable-emacs-compilation
 INSTALL_TARGET=                install install-lib
 
 DEPENDS+=              coq>=8.16:../../lang/coq

Index: pkgsrc/devel/why3/PLIST
diff -u pkgsrc/devel/why3/PLIST:1.3 pkgsrc/devel/why3/PLIST:1.4
--- pkgsrc/devel/why3/PLIST:1.3 Mon Mar  3 03:27:04 2025
+++ pkgsrc/devel/why3/PLIST     Sun Mar  9 19:44:10 2025
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.3 2025/03/03 03:27:04 dholland Exp $
+@comment $NetBSD: PLIST,v 1.4 2025/03/09 19:44:10 dholland Exp $
 bin/isabelle_client
 bin/why3
 lib/ocaml/site-lib/why3/META
@@ -102,7 +102,6 @@ lib/why3/why3-call-pvs
 lib/why3/why3cpulimit
 lib/why3/why3server
 share/emacs/site-lisp/why3.el
-share/emacs/site-lisp/why3.elc
 share/why3/LICENSE
 share/why3/Makefile.config
 share/why3/drivers/alt_ergo.drv