better error message when MAUDE_LIB not set

spechub / Hets

The Heterogeneous Tool Set

http://hets.eu

GNU General Public License v2.0

57 stars 19 forks source link

better error message when MAUDE_LIB not set #745

Closed sternk closed 10 years ago

sternk commented 10 years ago

Reported by mcodescu and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/745

When the env variable MAUDE_LIB is not set, the erorr message currently displayed is hets: fd:6: hFlush: resource vanished (Broken pipe)

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/745#comment:1

hets -g Maude/test.maude

would simply block if MAUDE_LIB is not set (so the whole communication should be done using forkIO) In spechub/Hets@feef251430b9fe0cb5570548f875734224c8d5b3 I simply check now for MAUDE_LIB if the binary maude is not found the exitcode is 127, so maybe this case should also be checked differently.