[plexil-support] plexilc: command not found

[Marsel O. <Mar...@ua...>]

Hello,

I recently tried to install PLEXIL in a 64 bit laptop with Ubuntu 18.04.
I followed the instructions in README to build it and it seems that everything goes fine.

While I tried to test the basic examples, it gives me the following error:
plexilc: command not found

Apparently none of PLEXIL commands is working. Could you give me some help how to fix this.

Thank you,

Marsel