Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Building lem with Windows/Cygwin #16

Open
lastland opened this issue Jun 6, 2018 · 0 comments · May be fixed by #17
Open

Building lem with Windows/Cygwin #16

lastland opened this issue Jun 6, 2018 · 0 comments · May be fixed by #17

Comments

@lastland
Copy link

lastland commented Jun 6, 2018

Hi, I am running into some problems when trying to build lem and I do not know if these problems are Windows/Cygwin specific.

The first problem is that running make at the top-level will give me an error message saying lem is not an executable file. The problem seems to come from executing ln -sf src/main.native lem several times. This can be fixed by a few minor modifications (I can submit my changes as a PR later).

The other problem is that when running to make lib_phase_1, I will get the following message:

make -C library
make[1]: Entering directory '/home/t-yaoli/lem/library'
../lem -ocaml -outdir ../ocaml-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem -auxiliary_level none -only_changed_output
Fatal error: exception Sys_error("C:\\cygwin64\\tmp\\lem_tempbd8293: Permission denied")
make[1]: *** [Makefile:24: ocaml-libs] Error 2
make[1]: Leaving directory '/home/t-yaoli/lem/library'
make: *** [Makefile:52: libs_phase_1] Error 2

I have no clue what the problem is and how to fix it. I wonder if anyone have seen this before, or have some ideas about what happened. Thanks!

PS: The C:\\cygwin64\\tmp\\lem_tempbd8293 is present in my system.

@lastland lastland linked a pull request Jun 7, 2018 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant