https://github.com/theoremprover-museum/CLIN
Tip revision: e7082fbde3634286f458d64846699ae488fe18f3 authored by Michael Kohlhase on 22 December 2016, 09:28:55 UTC
initial commit, thanks to David Plaisted
initial commit, thanks to David Plaisted
Tip revision: e7082fb
compile.quintus
#!/bin/csh -f
rm -f compile.out compile.out.1
prolog < compile.in >& compile.out
qld -D -w -o qclin compile.out.1 >>& compile.out
rm -f compile.out.1
strip qclin
