Skip to content

Installation instructions #6

Description

@glor

I had some difficulties with the installation instructions:
getting started is missing the information about setting WHILEYHOME

Compiling does not work from ./examples:

$ wy compile hello_world.whiley
Exception in thread "main" java.lang.IllegalArgumentException: unable to find build configuration ("wy.toml")
	at wycc.WyMain.determineLocalRootAndProject(WyMain.java:230)
	at wycc.WyMain.main(WyMain.java:128)

Compiling does not work from wdk-root:

$ wy compile examples/hello_world.whiley
Exception in thread "main" java.lang.IllegalArgumentException: invalid key access: plugins/wyc
	at wycc.cfg.Configuration$1.get(Configuration.java:143)
	at wycc.cfg.ConfigurationCombinator.get(ConfigurationCombinator.java:73)
	at wycc.util.AbstractPluginEnvironment.activateDefaultPlugins(AbstractPluginEnvironment.java:102)
	at wycc.util.AbstractPluginEnvironment.<init>(AbstractPluginEnvironment.java:39)
	at wycc.util.AbstractWorkspace.<init>(AbstractWorkspace.java:174)
	at wycc.WyMain.<init>(WyMain.java:101)
	at wycc.WyMain.main(WyMain.java:142)

Am I doing something wrong? Could the instuctions be updated?

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions