source: git/Singular/make_grammar

spielwiese
Last change on this file was 9ae5a3, checked in by Hans Schoenemann <hannes@…>, 6 years ago
add: polyBucket stuff
  • Property mode set to 100755
File size: 383 bytes
Line 
1#!/bin/sh
2bison243 -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 -w grammar.cc.h grammar.h >/dev/null
10  then
11    echo grammar.h was okay
12    command 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.