{"action":"created","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/513","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/513/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/513/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/513/events","html_url":"https://github.com/FStarLang/FStar/issues/513","id":147006153,"number":513,"title":"Error when building on Windows","user":{"login":"YaakovDavis","id":965750,"avatar_url":"https://avatars.githubusercontent.com/u/965750?v=3","gravatar_id":"","url":"https://api.github.com/users/YaakovDavis","html_url":"https://github.com/YaakovDavis","followers_url":"https://api.github.com/users/YaakovDavis/followers","following_url":"https://api.github.com/users/YaakovDavis/following{/other_user}","gists_url":"https://api.github.com/users/YaakovDavis/gists{/gist_id}","starred_url":"https://api.github.com/users/YaakovDavis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/YaakovDavis/subscriptions","organizations_url":"https://api.github.com/users/YaakovDavis/orgs","repos_url":"https://api.github.com/users/YaakovDavis/repos","events_url":"https://api.github.com/users/YaakovDavis/events{/privacy}","received_events_url":"https://api.github.com/users/YaakovDavis/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-04-08T18:45:03Z","updated_at":"2016-04-08T20:22:59Z","closed_at":null,"body":"I followed the instructions [here](https://github.com/FStarLang/FStar/blob/master/INSTALL.md).\r\nThe last step is failing due to the following error:\r\n\r\n```\r\n$ make -C src/ocaml-output\r\nmake: Entering directory `C:/FStarMaster/src/ocaml-output'\r\nC:/make/bin/make -C ../../lib/ml PRIMS_DIR=native_int\r\nmake[1]: Entering directory `C:/FStarMaster/lib/ml'\r\nocamlfind opt -thread -package batteries -linkpkg -g   -c MkPrims.ml\r\nprocess_begin: CreateProcess(NULL, ocamlfind opt -thread -package batteries -linkpkg -g -c MkPrims.ml, ...) failed.\r\nmake (e=2): The system cannot find the file specified.\r\nmake[1]: *** [MkPrims.o] Error 2\r\n\r\n```\r\n\r\nI have the latest revision (master)."},"comment":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/comments/207589315","html_url":"https://github.com/FStarLang/FStar/issues/513#issuecomment-207589315","issue_url":"https://api.github.com/repos/FStarLang/FStar/issues/513","id":207589315,"user":{"login":"YaakovDavis","id":965750,"avatar_url":"https://avatars.githubusercontent.com/u/965750?v=3","gravatar_id":"","url":"https://api.github.com/users/YaakovDavis","html_url":"https://github.com/YaakovDavis","followers_url":"https://api.github.com/users/YaakovDavis/followers","following_url":"https://api.github.com/users/YaakovDavis/following{/other_user}","gists_url":"https://api.github.com/users/YaakovDavis/gists{/gist_id}","starred_url":"https://api.github.com/users/YaakovDavis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/YaakovDavis/subscriptions","organizations_url":"https://api.github.com/users/YaakovDavis/orgs","repos_url":"https://api.github.com/users/YaakovDavis/repos","events_url":"https://api.github.com/users/YaakovDavis/events{/privacy}","received_events_url":"https://api.github.com/users/YaakovDavis/received_events","type":"User","site_admin":false},"created_at":"2016-04-08T20:22:59Z","updated_at":"2016-04-08T20:22:59Z","body":"Apparently ocamlfind is missing. Tracking down the install process, I found that `opam-depext`'s installation fails:\r\n\r\n```\r\n$ opam depext conf-m4.1\r\n..\r\n$ # Detecting depexts using flags: x86_64 mswindows win32\r\n# The following system packages are needed:\r\n#  -\r\nopam-depext: internal error, uncaught exception:\r\n             Failure(\"Sorry, don't know how to install packages on your system\")\r\n```\r\n\r\nYour help will be appreciated.\r\nI have a Win10 64-bit machine"}}