[Ciao-users] Fwd: Platform-dependent library generation with ciaoc