#!/bin/sh

# $Id: makemake,v 1.5 2000/09/20 11:10:08 freek Exp $

ringdir='$(COQTOP)/tactics/contrib/polynom'
omegadir='$(COQTOP)/tactics/contrib/omega'
cmx=`echo *.ml | sed 's/\.ml/.cmx/g'`" $ringdir/quote.cmx $ringdir/ring.cmx $omegadir/omega.cmx $omegadir/coq_omega.cmx"
do_Makefile \
  -custom "coqmktop -opt -o coqalgebra.out $cmx" "$cmx" coqalgebra.out \
  *.ml *.v > Makefile
make depend
