Open Pigrecos opened 2 weeks ago
how to compile souper and klee ? and then compile Dna.LLVMInterop ?
Thanks
I will publish steps in a few weeks. The build system is definitely not trivial, and needs a bit of refactoring, so it will be a while
how to compile souper and klee ? and then compile Dna.LLVMInterop ?
Thanks