Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mac support with M1 processor (darwin, arm64) for the VAL tool #127

Open
victorpaleologue opened this issue Jun 16, 2022 · 4 comments
Open

Comments

@victorpaleologue
Copy link

Trying to install the VAL tool on a Mac with M1 processor, I get this error:
Binaries for operating system darwin arm64 are not available. Supported: win32 (arch: x64, x32, ia32), linux (arch: x64), darwin (x64)

@sixt99
Copy link

sixt99 commented Oct 14, 2022

I have the same issue. Can anyone help?

@victorpaleologue
Copy link
Author

victorpaleologue commented Oct 14, 2022

The workaround consists in re-building VAL yourself:

  • clone it from https://github.com/KCL-Planning/VAL/
  • run scripts/build_macos.sh from that repo
  • set the "Pddl: Validator Path" value (in VSCode) to the path to the binary named Validate

@david-alvarez-rosa
Copy link

Same issue here.

Solved by following @victorpaleologue comment above!

@rpgoldman
Copy link

FWIW I followed those instructions, as well, setting all the paths in the VS Code Settings, and I think it worked, but even though there are values for all of the VAL tools in the settings, I still get prompted to install VAL, and there doesn't seem to be any way to tell the plugin that the tools are already installed.

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

No branches or pull requests

4 participants