search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
490 stars 88 forks source link

ProofGeneral (sometimes?) does not build with Emacs 24.3.1 on Windows #34

Open JasonGross opened 8 years ago

JasonGross commented 8 years ago 
Jason@JasonGross-x230t ~/Documents/GitHub/PG
$ make
****************************************************************
 Byte compiling...
****************************************************************
make elc
make[1]: Entering directory '/cygdrive/d/Documents/GitHub/PG'
emacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/cygdrive/d/Documents/GitHub/PG/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego hol-light phox pgshell pgocaml pghaskell generic lib contrib/mmm))) 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 nil))' -f batch-byte-compile acl2/acl2.el

In toplevel form:
acl2/acl2.el:14:1:Error: Cannot open load file: proof-easy-config
Makefile:121: recipe for target 'acl2/acl2.elc' failed
make[1]: *** [acl2/acl2.elc] Error 1
make[1]: Leaving directory '/cygdrive/d/Documents/GitHub/PG'
Makefile:84: recipe for target 'compile' failed
make: *** [compile] Error 2

Jason@JasonGross-x230t ~/Documents/GitHub/PG
$ emacs --version
GNU Emacs 24.3.1
Copyright (C) 2013 Free Software Foundation, Inc.
GNU Emacs comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of Emacs
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING.
JasonGross commented 8 years ago

Note that this is still open as of 33e6c6b925319eea83685174981db376008e3203

b1rd1e commented 8 years ago

admin@uname /cygdrive/c/uname/Softwares/PG-master/PG-master $ make

Byte compiling...

make elc make[1]: Entering directory '/cygdrive/c/uname/Softwares/PG-master/PG-master' emacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/cygdrive/c/uname/Softwares/PG-master/PG-master/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego hol-light phox pgshell pgocaml pghaskell generic lib contrib/mmm))) 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 nil))' -f batch-byte-compile acl2/acl2.el

In toplevel form: acl2/acl2.el:14:1:**Error: Cannot open load file: no such file or directory, proof-easy-config make[1]: * [Makefile:121: acl2/acl2.elc] Error 1 make[1]: Leaving directory '/cygdrive/c/uname/Softwares/PG-master/PG-master' make: *\ [Makefile:87: compile] Error 2

admin@uname /cygdrive/c/uname/Softwares/PG-master/PG-master $ emacs -version GNU Emacs 24.4.1 Copyright (C) 2014 Free Software Foundation, Inc. GNU Emacs comes with ABSOLUTELY NO WARRANTY. You may redistribute copies of Emacs under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING.