Package Details: proofgeneral 4.5-4

Git Clone URL: https://aur.archlinux.org/proofgeneral.git (read-only, click to copy)
Package Base: proofgeneral
Description: Generic interface for proof assistants.
Upstream URL: https://proofgeneral.github.io/
Licenses: GPL
Replaces: proofgeneral-nox
Submitter: None
Maintainer: gilcu3
Last Packager: gilcu3
Votes: 23
Popularity: 0.000000
First Submitted: 2007-10-01 23:36 (UTC)
Last Updated: 2022-09-26 07:42 (UTC)

Latest Comments

« First ‹ Previous 1 2 3 4 Next › Last »

wilbowma commented on 2013-03-31 18:46 (UTC)

Integrated that bug fix and updated to 4.2

aws commented on 2013-03-26 13:13 (UTC)

The build fails for emacs 24.3, which is the current version in Extra. Bug is listed upstream as at http://proofgeneral.inf.ed.ac.uk/trac/ticket/458. The fix recommended there is to disable error-on-warn, as contained in the following patch: diff -c src/ProofGeneral-4.1/Makefile src_fixed/ProofGeneral-4.1/Makefile *** src/ProofGeneral-4.1/Makefile 2010-10-10 23:56:56.000000000 +0100 --- src_fixed/ProofGeneral-4.1/Makefile 2013-03-26 12:54:24.807369437 +0000 *************** *** 60,66 **** # only during compilation. Another idea: put a function in proof-site # to output the compile-time load path and ELISP_DIRS so these are set # just in that one place. ! BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) ELC=$(EL:.el=.elc) --- 60,66 ---- # only during compilation. Another idea: put a function in proof-site # to output the compile-time load path and ELISP_DIRS so these are set # just in that one place. ! BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) )' -f batch-byte-compile EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) ELC=$(EL:.el=.elc)

wilbowma commented on 2013-01-14 00:23 (UTC)

Updated per eatsaq's patch.

eatsaq commented on 2013-01-11 08:27 (UTC)

Compiling fails for the PhoX proof assistant bit. I removed the support (as I don't need it) like this: --- proofgeneral/PKGBUILD 2012-10-14 02:51:57.000000000 +0300 +++ proofgeneral_fixed/PKGBUILD 2013-01-11 10:14:43.001542895 +0200 @@ -22,6 +22,9 @@ patch -p1 < "${srcdir}/interactive-p.patch" + sed -i 's,phox/\*,,' Makefile + sed -i 's,phox,,' Makefile + make }

djhaskin987 commented on 2013-01-09 16:34 (UTC)

Awesome! Thanks so much. Also, this page was helpful to me: http://permalink.gmane.org/gmane.emacs.proofgeneral.devel/224 I used the patch at the bottom of the comment in build() since my installation of emacs is no-X. Hope that helps! Thanks again!

wilbowma commented on 2012-10-13 23:53 (UTC)

Thanks for the improvements!

chneukirchen commented on 2012-10-10 23:02 (UTC)

Improved PKGBUILD: http://sprunge.us/UQbO * make isartags executable * make install -j1 because with parallelization the bin/ scripts could be clobbered (ugh).

« First ‹ Previous 1 2 3 4 Next › Last »