![]() ![]() By default, install files from all defined contexts. Manually override the directory to install public binaries. With must-be-empty, Dune will consider that the action failed if it printed something to its standard output. Possible values are: print to just print it to Dune's output, swallow to completely ignore it and must-be-empty to enforce that the action printed nothing. Specify how to deal with the standard output of actions when they succeed. This ensures that a successful build has a "clean" empty output. A good default for large mono-repositories is -action-stdout-on-success=swallow -action-stderr-on-success=must-be-empty. ![]() Same as -action-stdout-on-success but for the standard output for error messages. inferred from the environment variable OPAM_SWITCH_PREFIX if present Options -action-stderr-on-success= VAL They are setup before the compilation of dune with. directories set on the command line of dune install, or corresponding environment variables The installation directories used are defined by priority: Install packages defined in the workspace. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |