search

esbmc / libltl2ba

A library-fied version of ltl2ba
GNU General Public License v2.0
4 stars 2 forks source link

Added escapes in Makefile #3

Closed h-mole closed 1 month ago

h-mole commented 1 month ago

Thanks for this project that really solved my problem!

When running make in the latest branch in Ubuntu 20.04, I got this error:

user@user-VirtualBox:~/tools/libltl2ba$ make
Makefile:57: *** unterminated call to function 'shell': missing ')'.  Stop.

I found that this error might be due to the missing of backslash before the # symbol. So I added the backslash and then this project built successfully.

lucasccordeiro commented 1 month ago

Thanks for submitting this PR, @h-mole.