#!/bin/sh
# Make list of useful files.
# Copyright (C) 2003 Jean Goubault-Larrecq and LSV, CNRS UMR 8643 & ENS Cachan.
#
# This file is part of h1.
#
# h1 is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2, or (at your option)
# any later version.
#
# h1 is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with h1; see the file COPYING.  If not, write to
# the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
echo `(for i in *_h.ml; do echo $i; done) | grep -v _tab_h.ml | grep -v _lex_h.ml`
echo `(for i in $*; do echo $i; done) | grep -v .mla | sed s/_tab\.mlx$/.y/ | sed s/_lex\.mlx$/.l/ | sed s/\.mlx$/.ml/ | sed s/\.tab\.o$/.y/ | sed s/\.lex\.o$/.l/ | sed s/\.o$/.c/ | sort | uniq`
