jieyu/maple — pull request #16 by jieyu (2014-01-21 00:39:43+00:00)
Title: Enabled Maple to build with PinPlay.

This is the first patch that allows Maple to run with PinPlay.

Tested with:
$ make pinplay=1; make compiletype=release pinplay=1
$ script/regression idiom