~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to build/pkg_config.sh

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

build/pkg_config.sh

 

1

#! /bin/sh

 

2

 

 

3

# Run XSB on selected packages, so they would be compiled at the

 

4

# installation time.

 

5

# Gets the full path name of the XSB executable as the

 

6

# first argument.

 

7

 

 

8

xsb_executable=$1

 

9

 

 

10

echo ""

 

11

echo "Configuring XSB packages. Wait..."

 

12

#echo "[perlmatch]. [gap]. [wildmatch]. [regmatch]. [slx]. \

 

13

echo "[gap]. [wildmatch]. [regmatch]. [slx]. \

 

14

      halt." \

 

15

                    | $xsb_executable 

Loggerhead is a web-based interface for Breezy
Version: 2.0.1