On Sat, Oct 20, 2012 at 09:41:45PM +0100, Stuart Henderson wrote:
On 2012/10/20 14:26, Aaron Bieber wrote:
- this should be renamed or symlinked to a filename which doesn't
change for every port update; since this is based on lua 5.1 I have
taken the approach of the main lua port and
cc'ing ports@ as many of the comments here are going to be useful
to other people who are working on ports (some of them just apply to
things affecting this particular port and are relatively unimportant,
but there are a few things which will crop up in many ports so it's
good to have a wider
On Sat, Oct 20, 2012 at 11:15:11AM +0100, Stuart Henderson wrote:
cc'ing ports@ as many of the comments here are going to be useful
to other people who are working on ports (some of them just apply to
things affecting this particular port and are relatively unimportant,
but there are a few
On 2012/10/20 14:26, Aaron Bieber wrote:
- this should be renamed or symlinked to a filename which doesn't
change for every port update; since this is based on lua 5.1 I have
taken the approach of the main lua port and named it luajit51.
Added the below to PLIST to reflect this change:
Hola,
Here is an initial version of luajit. I have done some brief testing
with www/luakit ( http://deftly.net/luakit.tar.gz ).
Suggestions / clue sticks?
Cheers,
Aaron
P.S. I also attached the version of luakit that compiles with luajit.
luajit.tar.gz
Description: application/tar-gz
On Wed, Oct 17, 2012 at 12:36:27PM -0600, Aaron Bieber wrote:
Hola,
Here is an initial version of luajit. I have done some brief testing
with www/luakit ( http://deftly.net/luakit.tar.gz ).
Suggestions / clue sticks?
Cheers,
Aaron
P.S. I also attached the version of luakit that
Correction, the port wrongly installs the luajit manpage into
/usr/local/share/man. pkg_delete leaves /usr/local/man untouched.
Sorry about the confusion.
--
James Turner
ja...@calminferno.net
On Wed, Oct 17, 2012 at 06:59:04PM -0400, James Turner wrote:
Correction, the port wrongly installs the luajit manpage into
/usr/local/share/man. pkg_delete leaves /usr/local/man untouched.
Sorry about the confusion.
I knew what you meant :D
Attached is an updated version with fixes from
