On 12/06/2013 06:52 AM, Sergey Mironov wrote:
The library requires a couple of small patches for the UrWeb. The first one adds `typedef uw_Basis_string uw_Basis_xhead' declaration to the C header (forgotten by mistake).
I've addressed this instead in a way more consistent with how similar type synonyms were already handled: this type is compiled to plain old 'uw_Basis_string' at the C level.
The second one adds `-print-cinlude' command line argument which should make writing makefiles easier (the last command line patch from me, i promise:)
Patch accepted (and I added some text to the reference manual). _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
