これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド patsopt です。
プログラム：
NAME
patsopt - ATS2 から C へのコンパイラ
SYNOPSIS
パットオプト [ ] [-o 】...
DESCRIPTION
パットオプト ATS2 から C へのコンパイラです。最も一般的に呼び出されるのは、 パッツク どちらである
ATS2 コードをコンパイルするための推奨フロントエンド。 出力ファイル名が指定されていない場合は、
デフォルトは標準出力です。 出力オプション -o 何かの前に指定する必要があります
その他の仕様が記載されています。
OPTIONS
パットオプト は、パラメータを含むいくつかのコマンドを受け取り、その動作を決定します。
--depgen
依存関係リストを生成します。
--グライン
ターゲット コードで line プラグマ情報を生成します。
-NS、 - 助けて
使用状況情報を印刷します。
--タゲン
構文エンティティのタグ情報を生成します。
-tc、 --タイプチェック
指定された ATS ソース ファイルをタイプチェックしますが、それ以上は進みません。
-v、 - バージョン
ATS2/Postiats バージョンと gcc バージョンを表示します。
規格
パットオプト は、処理するファイルのコマンドライン仕様をいくつか受け取ります。
-NS、 - 動的
ファイル名を動的にロードします。
-o、 - 出力
出力ファイル名を指定します。
-s、 - 静的
ファイル名を静的にロードします。
例
パットオプト -o テスト.c -d テスト.dats
test.dats を C ファイルにコンパイルします。
パットオプト -tc -d テスト.dats
typecheck test.dats のみ。
onworks.net サービスを使用してオンラインで patsopt を使用する
