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

OPAM for windows #294

Closed
markulf opened this issue Aug 3, 2015 · 6 comments
Closed

OPAM for windows #294

markulf opened this issue Aug 3, 2015 · 6 comments

Comments

@markulf
Copy link
Contributor

markulf commented Aug 3, 2015

I have been playing with compiling OPAM both using Cygwin and MSYS / MINGW32.

Cygwin:

make install fails because the resulting executables have a .exe suffix.

MSYS:

I run into an old but not too well documented problem with flexdll during linking:

let get_output1 ?use_bash cmd = 
    List.hd (get_output ?use_bash cmd) 

This function isn't happy when invoked on something that produces an empty list as in the following code snippet from the flexdll GitHub:

get_output1 (!gcc ^ " -print-sysroot") ^ "/mingw/lib";

Unfortunately gcc -print-sysroot in MSYS seems to do exactly that.

The error message is ** Fatal error: hd.

@markulf
Copy link
Contributor Author

markulf commented Aug 16, 2015

See ocaml/opam#246

@markulf
Copy link
Contributor Author

markulf commented Aug 16, 2015

I made some more progress in Cygwin, but opam init was acting up at least in Cygwin64.

@markulf
Copy link
Contributor Author

markulf commented Sep 7, 2015

The best starting point seems to be https://github.com/dra27/opam/tree/windows.

@beurdouche
Copy link
Member

I think I did read somewhere (don’t remember where…) that this is gonna be merged in the OPAM master branch relatively soon right ?

@msprotz
Copy link
Collaborator

msprotz commented Sep 9, 2015

Last time I chatted with David Allsop (dra27) this wasn't quite ready to be merged. But this was a couple months ago, maybe the situation has improved.

@msprotz
Copy link
Collaborator

msprotz commented Feb 8, 2016

Closing this since I now distribute opam for windows along with the installer + an fstar opam package.

@msprotz msprotz closed this as completed Feb 8, 2016
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

No branches or pull requests

3 participants