{"action":"closed","issue":{"url":"https://api.github.com/repos/ProofGeneral/PG/issues/61","repository_url":"https://api.github.com/repos/ProofGeneral/PG","labels_url":"https://api.github.com/repos/ProofGeneral/PG/issues/61/labels{/name}","comments_url":"https://api.github.com/repos/ProofGeneral/PG/issues/61/comments","events_url":"https://api.github.com/repos/ProofGeneral/PG/issues/61/events","html_url":"https://github.com/ProofGeneral/PG/issues/61","id":136164455,"number":61,"title":"PG does not compile","user":{"login":"JasonGross","id":396076,"avatar_url":"https://avatars.githubusercontent.com/u/396076?v=3","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-02-24T19:35:34Z","updated_at":"2016-03-23T17:29:02Z","closed_at":"2016-03-23T17:29:02Z","body":"```bash\r\n$ make clean\r\n...\r\n$ git log -1\r\ncommit 2626ed51dc27abbdb44331542642c03e7f65ef3a\r\nAuthor: Clément Pit--Claudel <clement.pitclaudel@live.com>\r\nDate:   Sat Feb 20 22:56:14 2016 -0500\r\n\r\n    Simplify code to add to .emacs\r\n\r\n$ make\r\n****************************************************************\r\n Byte compiling...\r\n****************************************************************\r\nmake elc\r\nmake[1]: Entering directory '/cygdrive/d/Documents/GitHub/PG'\r\nemacs -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\r\n\r\nIn toplevel form:\r\nacl2/acl2.el:14:1:Error: Cannot open load file: proof-easy-config\r\nMakefile:121: recipe for target 'acl2/acl2.elc' failed\r\nmake[1]: *** [acl2/acl2.elc] Error 1\r\nmake[1]: Leaving directory '/cygdrive/d/Documents/GitHub/PG'\r\nMakefile:84: recipe for target 'compile' failed\r\nmake: *** [compile] Error 2\r\n```"}}