# Makefile for the u1 tactics, used with the Ergo theorem prover.
# ===============================================================
#
# The following pathnames will need to be set up for each system:

# QC should point to the Qu-Prolog compiler.
QC = /homes/qp/qp3.2/bin/qc


#============ No changes should be needed beyond here ===========
.SUFFIXES: .qo .ql ,v

# A rule for extracting RCS files.
% :: %,v
	co $< $@

# A rule for compiling Qu-Prolog files.
.ql.qo: $(QC)
	$(QC) -c $*.ql

# Should the following files be added to MT?
#    arith_dp.ql
#    consult2.ql
#    dbms_int.ql


MT =  \
    abbv.qo \
    back.ql \
    browse.qo \
    buildthy.ql \
    commands1.qo \
    commands2.qo \
    conj.ql \
    demo3.qo \
    exprabbr.qo \
    forwards.qo \
    heur.qo \
    induction.ql \
    int.ql \
    int_simp.ql \
    it.qo \
    lambda.ql \
    li_prove.ql \
    localness.ql \
    mark1.ql \
    newuse.ql \
    prinz.ql \
    quant.ql \
    quick.qo \
    rerun.qo \
    rewrite.qo \
    rt.qo \
    search.qo \
    show.qo \
    startup.qo \
    std_heur.ql \
    systac.qo \
    tactics.ql \
    tools.qo \
    translate.ql 

u1: $(MT)


