Support 'ZZ_MODULES_PATH' environment variable value in module search path

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Support 'ZZ_MODULES_PATH' environment variable value in module search path #38

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

Fixes #37

jwerle commented 4 years ago

Should the goal be to treat the environment variable like the PATH environment variable?

aep commented 4 years ago

yeah that would make sense

jwerle commented 4 years ago

@aep Great, I just pushed a change that uses ZZ_PATH instead of ZZ_MODULES_DIR and treats that environment variable like the PATH environment variable

jwerle commented 4 years ago

@aep does ZZ_MODULES_PATH work?

aep commented 4 years ago

More importantly, does colon work on windows? I think PATH uses semicolon there, but I don't know why

jwerle commented 4 years ago

@aep A colon does not work on Windows. I updated the PR to support Windows with the correct delimiter (;)

aep commented 4 years ago

lgtm no idea why ci failed