Manontantogprolog-1.3.2のconfigure 04月10日, 2010
Prologとしては、昔のProlog KABAが懐しく、MacBookにはB-Prologを入れていました。
ルービック・キューブの変形の2×3のキューブを解こうと思いたって、いじり始めて、GNUのprologがあることを知り、gprolog-1.3.1をconfigureしてみたのですが、foreign.wamでアセンブラからのエラーが止められません。
Netでこのエラーがソースのバグによるもので、2009年11月20日の開発途中バージョンでは修正されているとのコメントを読み(Source)、2010年3月の最新不安定版1.3.2をconfigureしました。OKでした。
$ wget http://gprolog.univ-paris1.fr/unstable/gprolog-20100322.tgz
$ CFLAGS="-arch i386 -DHAVE_CONFIG_H" \
LDFLAGS="-dynamic -L/usr/lib -lm" ./configure
$ make; make check; sudo make install