ڥ󥹥ȡν
MGTPΥ󥹥ȡäơKLIC (Ver. 2.002ʾ)򥤥󥹥ȡ뤷
ɬפ롣

ۥե
ۥ֤ˤϡsrcǥ쥯ȥbinǥ쥯ȥ꤬ޤޤ롣srcǥ
쥯ȥˤϡ󥹥ȡɬפKL1ץबbinǥ쥯ȥˤϡ
mg2dnhmklic_runΥ륹ץȥե뤬ޤޤƤ롣

ڥޥɤۥե

--------------------------------------------------
ޥ̾ | 󥹥ȡɬפʥե 
--------------------------------------------------
mg2kl1     | mg2kl1.kl1
intMerc}   | intMerc.kl1, match.kl1
dom        | dom.kl1
mc         | mc.kl1
mercpat    | mercpat.kl1, unify.kl1
rchk       | rangeCheck.kl1
simplify   | simplify.kl1
tptp2mgtp  | tptp2mgtp.kl1
fdown      | folddown.kl1
mg2dnhm    | nhmmodenhmtransΥ󥹥ȡ뤬ɬ
nhmmode    | nhmmode.kl1
nhmtrans   | nhmtrans.kl1
kl1mod     | kl1mod.kl1, fm.kl1
klic_run   | kl1modΥ󥹥ȡbody.kl1
ȥ졼   | mgtp_m.kl1, trace_aux.kl1, tracer.kl1, ե^1
--------------------------------------------------


^1 ե(KL1ץ)MGTPȥ󥹥졼(mg2kl1)ˤäMGե
뤫롣

󥹥ȡɬפʥե뤬·äƤ뤳Ȥǧ
% klic -o ޥ̾ -O2 󥹥ȡɬפʥե(*.kl1)
¹Ԥ롣

 intMerc򥤥󥹥ȡ뤹ˤϡ
% klic -o intMerc -O2 intMerc.kl1, match.kl1
¹Ԥ롣

ա klic_run򥤥󥹥ȡ뤹ݤˤϡ
% klic -c -O2 body.kl1
¹Ԥbody.o塢
binǥ쥯ȥklic_run(륹ץ)ܤѹ
ɬפ롣ܤ
set klic_dir=/usr/local/klic
ȤʤäƤ뤬/usr/local/klicbody.oƤ
ǥ쥯ȥ̾˽񴹤롣
