UU-ComputerScience/uhc — pull request #19 by phile314 (2014-06-22 11:14:54+00:00)
Title: Use bc-primitives for cr-target

The ehclib is compiled to target=cr when doing a make install. This fails because of wrong primitives used in uhcbase.

I don't know if the ehclib should actually be compiled to target=cr in the first place. If it should, then I guess the proper solution would be to know the final code-gen target(bc,jazy,js,...) for which cr should be generated, but I think this is not available at the moment.