15f0848aef
These are the 3, 4, and 5 man tablebases for crafty, with the exception of the pawn tablebases, which are quite large. A future port will address those seperately. PR: ports/116253 Submitted by: shoemaker@bluebottle.com (Jonathan Shoemaker)
13 lines
418 B
Text
13 lines
418 B
Text
echo ""
|
|
echo ""
|
|
echo "This port has the following tunables:"
|
|
echo "WITH_TBDIR (default: ${PREFIX}/lib/crafty/TB)"
|
|
echo ""
|
|
echo "To alter this, press CTRL-C now, and "
|
|
echo "simply set your desired path with one of:"
|
|
echo ""
|
|
echo "<setenv WITH_TBDIR path> (csh) or"
|
|
echo "<export WITH_TBDIR=path> (sh)"
|
|
echo ""
|
|
echo "IF YOU CHANGED THIS WHEN YOU INSTALLED CRAFTY, YOU"
|
|
echo "** MUST ** CHANGE IT HERE!!"
|