[Gnu-arch-users] RFC: Port of tla-1.2 for OpenBSD

[Laurent Cheylus]

Hi,

I have built a port of tla-1.2 for test on OpenBSD 3.4.

This port uses OpenBSD 'patch' from Open3.4-current (with '--posix' option 
support needed by tla). Before testing my port, upgrade your 'patch' 
tool from 3.4-current to have '--posix' option support. 

This port needs also GNU diff (textproc/gdiff in ports tree) and GNU tar 
(archivers/gtar in ports tree).

All tla tests ('make test' on compilation) are successfull on OpenBSD 3.4.

Archive of tla-1.2 OpenBSD port : 
http://foxy.free.fr/OpenBSD/ports_tla-1.2.tar.gz

Port built and tested on Open-3.4/i386.

Please report tests, bugs and improvements for this port.

A++ Foxy

-- 
Laurent Cheylus <address@hidden> OpenPGP ID 0x5B766EC2