rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

the directories in Config should be a fallback #40

Closed rgrig closed 10 years ago

rgrig commented 12 years ago

It should be possible to ship topl as a binary plus some data files. For this to work we must not rely on the module [Config]. We could still keep it around as a fallback for systems where we can't reliably guess the path of the binary.

rgrig commented 12 years ago

There is now no static string to fall back to. Either TOPL_DIR is set and used, or it tries to guess, or it fails.