Skip to content

Comments

Switch from --release to -p in build command#11

Open
gridbugs wants to merge 1 commit intoOpsian:mainfrom
gridbugs:no-dune-build-release
Open

Switch from --release to -p in build command#11
gridbugs wants to merge 1 commit intoOpsian:mainfrom
gridbugs:no-dune-build-release

Conversation

@gridbugs
Copy link

With the introduction of package management dune build --release is going to start using lockfiles (if present) to install dependencies before building the project. Thus in opam file it's recommended to use dune build -p instead, as this will continue to ignore lockfiles.

With the introduction of package management dune build --release is
going to start using lockfiles (if present) to install dependencies
before building the project. Thus in opam file it's recommended to use
dune build -p <name> instead, as this will continue to ignore lockfiles.

Signed-off-by: Stephen Sherratt <stephen@sherra.tt>
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

Successfully merging this pull request may close these issues.

1 participant