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

[proofgeneral]

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

[JasonGross]

Note that this is still open as of 33e6c6b

[b1rd1e]

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.