{"action":"created","issue":{"url":"https://api.github.com/repos/querycert/qcert/issues/1","repository_url":"https://api.github.com/repos/querycert/qcert","labels_url":"https://api.github.com/repos/querycert/qcert/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/querycert/qcert/issues/1/comments","events_url":"https://api.github.com/repos/querycert/qcert/issues/1/events","html_url":"https://github.com/querycert/qcert/issues/1","id":162684931,"number":1,"title":"Notes on WIndows Install of Coq, CAML etc","user":{"login":"joshuaauerbachwatson","id":19649275,"avatar_url":"https://avatars.githubusercontent.com/u/19649275?v=3","gravatar_id":"","url":"https://api.github.com/users/joshuaauerbachwatson","html_url":"https://github.com/joshuaauerbachwatson","followers_url":"https://api.github.com/users/joshuaauerbachwatson/followers","following_url":"https://api.github.com/users/joshuaauerbachwatson/following{/other_user}","gists_url":"https://api.github.com/users/joshuaauerbachwatson/gists{/gist_id}","starred_url":"https://api.github.com/users/joshuaauerbachwatson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joshuaauerbachwatson/subscriptions","organizations_url":"https://api.github.com/users/joshuaauerbachwatson/orgs","repos_url":"https://api.github.com/users/joshuaauerbachwatson/repos","events_url":"https://api.github.com/users/joshuaauerbachwatson/events{/privacy}","received_events_url":"https://api.github.com/users/joshuaauerbachwatson/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2016-06-28T13:24:18Z","updated_at":"2016-07-03T16:22:40Z","closed_at":null,"body":"I'm not actually a naive user since I worked on some of this technology when I was at IBM.  However, I am currently working solely via this open source project so I am building a from-scratch environment to run the code.   I'm using this issue to record the experience.  I'm not sure whether any of these observations are actionable since they really just represent one-time speed bumps for a subset of new users (those who choose to use windows).   Each observation will be a comment."},"comment":{"url":"https://api.github.com/repos/querycert/qcert/issues/comments/230161592","html_url":"https://github.com/querycert/qcert/issues/1#issuecomment-230161592","issue_url":"https://api.github.com/repos/querycert/qcert/issues/1","id":230161592,"user":{"login":"joshuaauerbachwatson","id":19649275,"avatar_url":"https://avatars.githubusercontent.com/u/19649275?v=3","gravatar_id":"","url":"https://api.github.com/users/joshuaauerbachwatson","html_url":"https://github.com/joshuaauerbachwatson","followers_url":"https://api.github.com/users/joshuaauerbachwatson/followers","following_url":"https://api.github.com/users/joshuaauerbachwatson/following{/other_user}","gists_url":"https://api.github.com/users/joshuaauerbachwatson/gists{/gist_id}","starred_url":"https://api.github.com/users/joshuaauerbachwatson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joshuaauerbachwatson/subscriptions","organizations_url":"https://api.github.com/users/joshuaauerbachwatson/orgs","repos_url":"https://api.github.com/users/joshuaauerbachwatson/repos","events_url":"https://api.github.com/users/joshuaauerbachwatson/events{/privacy}","received_events_url":"https://api.github.com/users/joshuaauerbachwatson/received_events","type":"User","site_admin":false},"created_at":"2016-07-03T16:22:40Z","updated_at":"2016-07-03T16:22:40Z","body":"### OCAMLJava on Windows\r\n\r\nI believe unless you have a 64 bit windows you may be hosed.  Of course, most people probably do at this point so this may not be of interest to everyone.  I have a reconditioned laptop with a 64 bit processor but as I obtained it at a deep discount it came with a minimal stock version of windows 7 (32 bit OS).  I took the free upgrade to Windows 10, but it gave me a 32-bit windows 10.  I can only fix this by doing a clean install of the OS, which I'm not willing to do now (I expect to get myself a new and better machine in the fall).\r\n\r\nIf you install the 32 bit OCaml binary with OPAM, the OPAM seems to work.  It will fetch ocamljava, but when you switch to it and it starts the initial build, the initial build fails, saying that a 64 bit version of windows (and, of course, the corresponding 64 bit cygwin and ocaml) is required. "}}
{"actor":{"display_login":"joshuaauerbachwatson"}}