source: git/Singular/make_grammar @ b38bc9

spielwiese
Last change on this file since b38bc9 was 02d8af, checked in by Hans Schoenemann <hannes@…>, 12 years ago
chg: removed testgh, new utility make_grammar to generate grammar.{cc,h}
  • Property mode set to 100755
File size: 374 bytes
Line 
1#!/bin/sh
2bison -d -t -o grammar.cc grammar.y
3if [ -f grammar.hh ]
4then
5  mv grammar.hh grammar.cc.h
6fi
7if [ -f grammar.h ]
8then
9  if diff grammar.cc.h grammar.h >/dev/null
10  then
11    echo grammar.h was okay
12    /bin/rm grammar.cc.h
13  else
14    echo generating new grammar.h
15    mv grammar.cc.h grammar.h
16  fi
17else
18  echo generating grammar.h
19  mv grammar.cc.h grammar.h
20fi
21
Note: See TracBrowser for help on using the repository browser.