~ubuntu-branches/ubuntu/trusty/coccinelle/trusty

« back to all changes in this revision

Viewing changes to scripts/spatch.sh.in

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

Show diffs side-by-side

added

removed

scripts/spatch.sh.in

1

 

#!/bin/sh -e

 

1

#! /bin/sh -e

2

2

 

3

3

# generic wrapper script to invoke 'spatch' or 'spatch.opt'

4

4

# it sets the python variables (if relevant)

5

 

# and OCCINELLE_HOME

 

5

# and COCCINELLE_HOME

6

6

 

7

7

SHAREDIR="@prefix@/share/coccinelle"

8

8

LIBDIR="@prefix@/lib"

9

9

 

 

10

if test ! -d "$SHAREDIR"; then

 

11

    SHAREDIR="$(pwd)"

 

12

fi

 

13

 

10

14

COCCINELLE_HOME="${COCCINELLE_HOME:=$SHAREDIR}"

11

15

#echo setting COCCINELLE_HOME=${COCCINELLE_HOME:=$SHAREDIR}

12

16

 

16

20

 

17

21

if [ ! -r "${COCCINELLE_HOME}/standard.iso" ] ; then

18

22

  echo "There is no standard.iso in ${COCCINELLE_HOME}." 1>&2

19

 

  echo "Are you sure you run a properly installed version of spatch ?\n" 1>&2

 

23

  echo -n "Are you sure you run a properly installed version of spatch ?\n" 1>&2

20

24

else

21

25

 

22

26

export COCCINELLE_HOME

23

27

 

24

 

export LD_LIBRARY_PATH="${LIBDIR}:$LD_LIBRARY_PATH"

 

28

export LD_LIBRARY_PATH="${LIBDIR}:$LD_LIBRARY_PATH:${SHAREDIR}:${COCCINELLE_HOME}"

25

29

export PYTHONPATH="${COCCINELLE_HOME}/python:$PYTHONPATH"

26

30

 

27

31

# echo setting LD_LIBRARY_PATH="$LD_LIBRARY_PATH"

• Older »

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