コマンドスクリプトifccとiflinkはCコードをコンパイル・IF/Prologシステムにリンクするために使います。

ifcc リンクの準備として、単純なCファイルをコンパイルします。このため、コンパイル用のファイルはIF/Prologのインクルードディレクトリよりインクルードします。

使用方法: ifcc ＜file.c＞

iflink ifccでコンパイルされたファイルをリンクしてユーザ独自のCコードに記述された述語を含んだ新しいIF/Prolog実行ファイルを生成します。そのリンク処理の後は、全てのシステム・ライブラリ・フラグが既にインクルードされます。

使用方法: iflink [-c] [-h] outputfile [objectfiles]

オプション:

-c C言語インタフェースが使われる時に、ファイルをリンクしてIF/Prolog実行ファイルを生成する。 -h ホスト言語インタフェースが使われた時に、ファイルをリンクしてIF/Prolo実行ファイルを生成する。

scroll to top