Has the 64-bit version of the GNU Pascal Compiler been done by your student?
Some time ago I got the 32-bit version installed into RedHat Cygywin running
under Windows.
Thanks for the information!
Sincerely,
(Mr.) Gayle Lee Fairless
fairless(a)ieee.org
fairless(a)fsfe.org