Skip to content

Separate generic and lexifi compilations#74

Open
fantazio wants to merge 2 commits intoLexiFi:masterfrom
fantazio:split_lexifi
Open

Separate generic and lexifi compilations#74
fantazio wants to merge 2 commits intoLexiFi:masterfrom
fantazio:split_lexifi

Conversation

@fantazio
Copy link
Copy Markdown
Collaborator

@fantazio fantazio commented Apr 14, 2026

Until #17 there was a make lexifi command available to build a version of thedead_code_analyzer with LexiFi's extensions setup.
The make command would build a version without such extensions.

Since that pull request and the move to dune, the extensions were always enabled. This commit reintroduces the different build options. The default version of the dead_code_analyzer (and the one that will be distributed via opam) will not include the extensions anymore.

In order to build the tool with the extensions, the make lexifi command has been reinstated, and the resulting binary will be located at _build/default/src/deadLexiFi.exe

This is small refactor of deadLexiFi.ml
Until LexiFi#17 there was a
`make lefixi` command available to build a version of the
`dead_code_analyzer` with LexiFi's extensions setup. The `make` command
would build a version without such extensions.

Since that pull request and the move to dune, the extensions were always
enabled. This commit reintroduces the different build options. The
default version of the `dead_code_analyzer` (and the one that will be
distributed via opam) will not include the extensions.

In order to build the tool with the extensions, the `make lexifi`
command has been reinstated, and the resulting binary will be located at
`_build/default/src/deadLexiFi.exe`
@fantazio
Copy link
Copy Markdown
Collaborator Author

@nojb
Is it OK with LexiFi to have a separate build option and binary name ?

Alternatively, the hooks could be set via a command line argument (e.g. --lexifi). With this option, you could use opam and would not have to build the tool from the sources.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants