zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

`zz build` does not like dashes in project dir name #45

Closed bnoordhuis closed 4 years ago

bnoordhuis commented 4 years ago

At commit b141f29.

$ mkdir left-right && cd left-right && zz init && zz build
project 'left-right' created
done emitting                                                                                                                                                                   /home/bnoordhuis/src/left-right/left-right/src/main.zz:3:50: error: expected ';' after top level declarator
int __attribute__ ((visibility ("default"))) left-right_main_main ();
                                                 ^
                                                 ;
1 error generated.
[ERROR] cc: [clang-10] args: [-fPIC -I . -I -fvisibility=hidden -g -fstack-protector-strong -fsanitize=address -Werror=implicit-function-declaration -Werror=incompatible-pointer-types -Werror=return-type -Wpedantic -Wall -Wno-unused-function -Wno-parentheses-equality -Wno-flexible-array-extensions -Wno-gnu-variable-sized-type-not-at-end -Werror=pointer-sign -Werror=int-to-pointer-cast -c target/test/zz/left-right_main.c -o ./target/test/zz/_left-right_main_bcf6c5e5607f650d607377da89bf2f53.o]
failed [Exe] left-right
aep commented 4 years ago

thanks for the report!

project name is derived from the directory name, but missing sanitization. as a temporary workaround, just remove the dash in zz.toml