Open jgroote opened 14 years ago
The idea seems like a large improvement in usability to me. One topic that will at least need to be addressed is the way in which an environment is considered for platforms other than Linux (especially Windows).
I concur. The usability would definitely improve.
Would you advocate creating monolithic LPS files from modular process specifications, or advocate modular LPS files as well, with include directives for data specification only?
Issue migrated from trac ticket # 751
component: General | priority: minor
2010-06-29 10:19:08: scranen@win.tue.nl created the issue
'nuff said, probably. Simple include functionality would greatly help a lot of people.
~/.mcrl2/include:/usr/share/mcrl2/include
, then mCRL2 scans, the current directory first, then~/.mcrl2/include
, and then/usr/share/mcrl2/include
.-*Proposed syntax:**
Current directory contains bitvector.mcrl2 and bitvector.bak.
includes "bitvector.mcrl2"
includes "bitvector.mcrl2"
includes "bitvector.bak"