sneeuwballen/zipperposition

investigate docker+alpine for starexec build

c-cube opened this issue 6 years ago · 1 comments

c-cube commented 6 years ago

see https://discuss.ocaml.org/t/running-micro-services-implemented-in-ocaml/3425/5 on a possible way to compile a static binary easily. cc @petarvukmirovic @benti for next summer's CASC maybe.

c-cube commented 5 years ago

edit: oops. Fixed already since @petarvukmirovic can compile for starexec directly.