-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Labels
Description
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?