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

« back to all changes in this revision

Viewing changes to setup/fake-menhir.sh

• 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

setup/fake-menhir.sh

1

 

#!/bin/sh -e

 

1

#! /bin/sh -e

 

2

 

 

3

set -e

2

4

 

3

5

# If you don't have menhir installed, but you do have the generated files, then

4

6

# this script fakes menhir by providing the generated files as the result of the

10

12

reqmli=

11

13

 

12

14

for arg in "$@"; do

13

 

  if test "x$STATE" == x0 -a "x$arg" == "x--base" -o "x$arg" == "x-b"; then

 

15

  if test "x$STATE" = x0 -a "x$arg" = "x--base" -o "x$arg" = "x-b"; then

14

16

    STATE=1

15

 

  elif test "x$STATE" == x1; then

 

17

  elif test "x$STATE" = x1; then

16

18

    base="$arg"

17

19

    STATE=0

18

20

  else

21

23

    extension="${filename##*.}"

22

24

 

23

25

    # assumes that all commandline parameters ending in .mly are files to be processed by menhir

24

 

    if test "x$extension" == xmly; then

 

26

    if test "x$extension" = xmly; then

25

27

      reqml="${basename}.ml"

26

28

      reqmli="${basename}.mli"

27

29

 

• Older »

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