BUG: polyml-4.1.3 install fails

[mjb@…]

polyml fails to build.

m1004p029:~ mjb$ sudo port install polyml ---> Fetching polyml ---> Verifying checksum(s) for polyml ---> Extracting polyml ---> Applying patches to polyml ---> Configuring polyml ---> Building polyml with target all Error: Target com.apple.build returned: shell command "cd "/opt/local/var/db/dports/build/_opt_local_var_db_dports_sources_rsync.rsync.darwinports.org_dpupdate_dports_lang_polyml/work/driver" && make all" returned error 2 Command output: cc -DGCC -DPOWER2 -DMACOSX -g -O2 -Wall -DDEFAULT_POLYPATH='".:/opt/local/lib/poly"' -c -o mpoly.o mpoly.c cc -DGCC -DPOWER2 -DMACOSX -g -O2 -Wall -DDEFAULT_POLYPATH='".:/opt/local/lib/poly"' -c -o improve.o improve.c cc -DGCC -DPOWER2 -DMACOSX -g -O2 -Wall -DDEFAULT_POLYPATH='".:/opt/local/lib/poly"' -c -o discgc.o discgc.c cc -DGCC -DPOWER2 -DMACOSX -g -O2 -Wall -DDEFAULT_POLYPATH='".:/opt/local/lib/poly"' -c -o gc.o gc.c gc.c: In function 'PrintDelta': gc.c:1804: error: 'CLK_TCK' undeclared (first use in this function) gc.c:1804: error: (Each undeclared identifier is reported only once gc.c:1804: error: for each function it appears in.) make: * [gc.o] Error 1

Error: /opt/local/bin/port: Status 1 encountered during processing.

[markd@…]

Update to 5.0.