search

sikoba / isekai

Isekai verifiable computation project
MIT License
46 stars 8 forks source link

Build docker image #8

Closed Burgos closed 5 years ago

Burgos commented 5 years ago

Since the project depends on several libclang patches which are not yet merged in the libclang (https://www.mail-archive.com/cfe-commits@cs.uiuc.edu/msg95414.html, http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20140428/104048.html), the easiest is to use the provided pre-build binary and to build and run the software inside a container.

Unfortunatelly, there doesn't seem to be any workaround in using upstream libraries at this point.

Burgos commented 5 years ago

@Sp1r0u @pcarinhas

I think this is the easiest way to go forward with libclang dependency, since we all have different systems. I pinged the reviewers on llvm list, but their response time (judging by other patches) is very slow. I'm open to suggestions though.