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.

Sign up for GitHub

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

Jump to bottom

Build fails when V is exported #57

Open
LocutusOfBorg opened this issue Jul 19, 2022 · 3 comments
Open

Build fails when V is exported #57

LocutusOfBorg opened this issue Jul 19, 2022 · 3 comments
Labels
bug Something isn't working

Comments

@LocutusOfBorg
Copy link
Contributor

Hello, in Ubuntu builders, verbose mode is enabled by default with
export V=1

this breaks the build of your tool because it does

	$(V)cppo -V COQ:$(COQ_VERSION) -V OCAML:$(OCAML_VERSION) -n -o $@ $^

in Makefile, resulting in a call of something like
"1cppo" binary.

Please document the V variable, or remove it if possible (or use a better and longer name?)

thanks
@Lysxia
Copy link
Owner

Lysxia commented Jul 19, 2022

OK I will remove it.

@Lysxia Lysxia added the bug Something isn't working label Jul 19, 2022
@LocutusOfBorg LocutusOfBorg mentioned this issue Nov 23, 2023
Merged
@LocutusOfBorg
Copy link
Contributor Author

Fixed in #63

@LocutusOfBorg
Copy link
Contributor Author

I think it was added here 1ba9d9a for no apparent reason?

Lysxia pushed a commit that referenced this issue Nov 23, 2023
@LocutusOfBorg @Lysxia
Do not use V variable prepended in cppo.
7b1e6de 
In some builders, such as Ubuntu ones, the V variable is exported with "1" value (such as
enable verbose builds for many build systems)

This results in:
   dh_auto_build
	make -j4 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/<<PKGBUILDDIR>>'
1cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o _CoqProject _CoqProject.cppo
make[1]: 1cppo: No such file or directory

Fixes issue: #57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@LocutusOfBorg @Lysxia