Skip to content

dk --version does not work #300

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
Closed
fblanqui opened this issue Nov 2, 2022 · 1 comment · Fixed by #336
Closed

dk --version does not work #300

fblanqui opened this issue Nov 2, 2022 · 1 comment · Fixed by #336
Assignees
@Alidra

Comments

@fblanqui
Copy link
Member

fblanqui commented Nov 2, 2022

it returns "%%VERSION%%"
@fblanqui fblanqui mentioned this issue Mar 1, 2024
Closed
@fblanqui
Copy link
Member Author

See how it is done in Lambdapi:

11:59 ~/src/lambdapi (master) gl Version
./src/cli/lambdapi.ml:8:open Version
./src/cli/lambdapi.ml:441:  let run () = Console.out 0 "Lambdapi version: %s" Version.version in
./misc/gen_version.ml:17:  line "(** Version informations. *)";

@Alidra Alidra self-assigned this Apr 25, 2025
@Alidra Alidra linked a pull request Apr 25, 2025 that will close this issue
Fix display of version #336
Merged
@fblanqui fblanqui mentioned this issue Apr 28, 2025
Merged
fblanqui added a commit that referenced this issue Apr 29, 2025
@Alidra @fblanqui
Fix display of version (#336)
cf7dec1 
This PR fixes the display of Dedukti version (#300) when called in command line (for instance dk --version).
* fix of modules in dune file (add misc/gen_version.ml)
* remove variable version in subcommands because it is useless
---------
Co-authored-by: Frédéric Blanqui <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Alidra Alidra

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix display of version Alidra/Dedukti
2 participants
@fblanqui @Alidra