First commit - second part
Former-commit-id: 202296404e6a70f8ae96db99faffb456104c57e9 Former-commit-id: 118417735d2055683607df9809c9b721cc1b1bab
This commit is contained in:
20
scripts/check_port
Executable file
20
scripts/check_port
Executable file
@ -0,0 +1,20 @@
|
||||
#!/bin/csh
|
||||
#
|
||||
# check if port is installed
|
||||
#
|
||||
set ORG_HOME = `dirname $0`/..
|
||||
|
||||
set PORTNAME = `$ORG_HOME/config/guess_port`
|
||||
|
||||
if (-f $ORG_HOME/ports/$PORTNAME/bin/exonerate) then
|
||||
echo "+ port $PORTNAME is correctly installed"
|
||||
exit 0
|
||||
endif
|
||||
|
||||
echo "! port $PORTNAME not installed"
|
||||
echo "! Please read README.txt for proper installation"
|
||||
|
||||
exit 1
|
||||
|
||||
|
||||
|
19
scripts/sample.csh
Executable file
19
scripts/sample.csh
Executable file
@ -0,0 +1,19 @@
|
||||
#!/bin/csh
|
||||
#
|
||||
# a sample script to show how to retrieve proper path for port
|
||||
#
|
||||
|
||||
set ORG_HOME = `dirname $0`/..
|
||||
|
||||
set PORTNAME = `$ORG_HOME/config/guess_port`
|
||||
|
||||
set path = ($path $ORG_HOME/ports/$PORTNAME/bin)
|
||||
|
||||
#
|
||||
|
||||
which aragorn
|
||||
|
||||
exit 0
|
||||
|
||||
|
||||
|
Reference in New Issue
Block a user