3 ms·
I've used Klee and Triton in industrial settings, but had to abandon Klee due to the many headaches of packaging and distributing it.
by debatem1 7y ago
I've used Klee and Triton in industrial settings, but had to abandon Klee due to the many headaches of packaging and distributing it.
- touisteur 7y agoI'm curious about what are the difficulties of packaging KLEE. Isn't there a docker image you can use ? I know installing it from source is a pain, but a scriptable pain. I'm also wondering (curiosity) why you'd have to package and deliver it (to customers ?). I always saw it as a developer tool. Seems you're working on very interesting stuff :-)
- debatem1 7y agoYeah, it isn't literally impossible to build-- but the fact that it's enough of a pain to do so that they distribute a docker image should sort of tell the story :). Unfortunately, for IT policy reasons we couldn't use that, and our platform was a bit unusual anyway. In terms of packaging, it's nothing exciting-- we just had to produce a .deb if we wanted to install something on a build or test server.