Hello ports@, I created an experimental port for the Teyjus implementation of Lambda Prolog. I've only tested on amd64, though I suspect it should work at least for i386 as well.
Teyjus relies on the nonstandard __WORDSIZE. My workaround is bad (and I believe it will misidentify some 64bit platforms as 32bit): #if defined(__x86_64__) || defined(__amd64__) || defined(__LP64__) # define __WORDSIZE 64 #else # define __WORDSIZE 32 #endif Please let me know what would be the appropriate way to tackle this. Any other feedback regarding the port will be appreciated! -- Thanos Tsouanas http://perso.ens-lyon.fr/thanos.tsouanas/
teyjus.tar.gz
Description: GNU Zip compressed data