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

Build issues with version 0.33 on Windows (0.32 works fine) #101

Open
MSoegtropIMC opened this issue Apr 4, 2023 · 4 comments
Open

Build issues with version 0.33 on Windows (0.32 works fine) #101

MSoegtropIMC opened this issue Apr 4, 2023 · 4 comments

Comments

@MSoegtropIMC
Copy link
Contributor

I just upgraded a meta project containing ott from version 0.32 to version 0.33. I am experiencing build issues on Windows which did not appear with 0.32.

The error is:

#=== ERROR while installing ott.0.33 ==========================================#
Some files in C:/bin/cygwin64_coq_platform/home/Michael/.opam/CP.2023.03.0~8.17~2023.03+beta1/.opam-switch/install/ott.install couldn't be installed:
  - C:/bin/cygwin64_coq_platform/home/Michael/.opam/CP.2023.03.0~8.17~2023.03+beta1/.opam-switch/build/ott.0.33/src/ott to C:/bin/cygwin64_coq_platform/home/Michael/.opam/CP.2023.03.0~8.17~2023.03+beta1/bin
  -

The reason that the ott binary cannot be copied to bin is that it is named ott.opt while install expected the name ott. The proper name on Windows would be ott.exe .

In version 0.32 the installed binary has the name ott.exe.

@palmskog : FYI

@MSoegtropIMC
Copy link
Contributor Author

P.S.: I double checked that in exactly the same environment opam install ott.0.32 succeeds and opam install ott.0.33 fails.

@bacam
Copy link
Collaborator

bacam commented Apr 4, 2023

I don't see any changes to the executable names between versions; it was ott.opt and opt in 0.32 too. I think it's more likely that the generation of ott.opt has failed. opam should tell you where to find a more complete log of the failed build, could you take a look at it?

@MSoegtropIMC
Copy link
Contributor Author

The generated ott.opt file is there under src. Also opam says that the build step succeeded successfully - otherwise it would not even start the install step and the failure is in opam's install step.

Also with 0.32 the file ending up in the bin folder (=install target folder for the executable) is definitely named ott.exe (on Windows).

@bacam
Copy link
Collaborator

bacam commented Apr 4, 2023

That's very strange - the build step should include copying the file, it's part of the make world. Does it tell you which commands make ran?

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

2 participants