#!/bin/sh
# Make list of useful files.
# Copyright (C) 2004 Jean Goubault-Larrecq and LSV, CNRS UMR 8643 & ENS Cachan
# and INRIA Futurs projet SECSI.
#
# This file is part of ispi.
#
# ispi 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.
#
# ispi 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 ispi; 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/ | sort | uniq`