Skip to content

Options are not passing through dk executable to dkcoder executable #28

@jonahbeckford

Description

@jonahbeckford

Example:

& "C:\Users\beckf\AppData\Local\Programs\DkCoder\dkexe-2.4.202508302258-signed-windows_x86_64\dk.exe" -g dune --output-bytecode-file Y:/source/scoutapps/us/SonicScoutBackend/build_dev/src/SonicScout_ManagerApp/SquirrelScout_ManagerApp_ml.bc -- StdStd_Std.Embed SonicScout_ManagerApp.ManagerApp_ml

gives:

FATAL: Could not inspect project information:
Problem
-------
The script Y:\source\scoutapps\us\SonicScoutBackend\--output-bytecode-file is not part of a DkCoder library because it has a capitalized, extension-less basename `--output-bytecode-file` that is not a DkCoder module name.
Common issues are 1) the basename cannot have the form of a DkCoder library identifier (ex. MyLibrary_Std) and 2) the basename must only use valid DkCoder standard module characters.

Suggestions
-----------
_ Set the OCAMLRUNPARAM environment variable to `b` to see stacktraces.
_ Run `dk --struct-url --output-bytecode-file StdStd_Std.Run`
   instead to use it as a standalone script.
_ Rename `--output-bytecode-file` to have a DkCoder module name.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions