search

siddharthb / Kide

Kide- The Kappa IDE for Eclipse
GNU Lesser General Public License v3.0
1 stars 0 forks source link

Make bin is broken #5

Open jkrivine opened 13 years ago

jkrivine commented 13 years ago

The make bin option does not produce any binary file

jkrivine commented 13 years ago

So actually it was not produced because KaSim's path wasn't set. So you should display an error message when it is the case. Also the binary only appears after clicking refresh on the folder.

jkrivine commented 13 years ago

Also in the property of the binary the orignal kappa files do not appear

siddharthb commented 13 years ago

The bug as been fixed in the version 1.01_210711 and in subsequent versions. Make bin works and the path also appears correctly. And also an error message is displayed if the binary is not correct or hasn't been specified.

jkrivine commented 13 years ago

Related to issue #14