Write the compile command section

tatsuya6502 · tatsuya6502 · commit a557c1b5464a · 2019-06-26T20:08:08.000+08:00
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -27,5 +27,5 @@
     - [Rustツールチェインのインストール](./atcoder-env/installing-rust-toolchain.md)
     - [クレートのコンパイルとインストール](./atcoder-env/installing-rust-crates.md)
     - [クレート検索パス生成ツールのインストール](./atcoder-env/installing-rustc-dep-option-generator.md))
-  - [コンパイルコマンドと実行コマンド (TODO)](./atcoder-env/compiling-and-running-program.md)
+  - [コンパイルコマンドと実行コマンド](./atcoder-env/compiling-and-running-program.md)
 - [コントリビュータ (TODO)](./contributors.md)
diff --git a/src/atcoder-env/compiling-and-running-program.md b/src/atcoder-env/compiling-and-running-program.md
@@ -2,9 +2,77 @@
 
 # コンパイルコマンドと実行コマンド
 
-**TODO** このページは書きかけです。
+このページではジャッジサーバでユーザプログラムをコンパイルし、実行するためのコマンドを説明します。
 
 
-## コンパイルオプションについて
+## ファイルレイアウトとコンパイルの流れ
+
+選手がRustプログラムを提出すると、その内容がジャッジサーバ上のファイルシステムに書き出されます。
+ジャッジサーバがどのような設計になっているかわからないので、ここでは仮にLinuxユーザのホームディレクトリ配下に`WORKAREA`という作業用の一時ディレクトリができるものとします。
+
+Rustプログラムは`WORKAREA`の`main.rs`に書き出すようにジャッジサーバを設定してください。
+
+```console
+$HOME             # ユーザのホームディレクトリ
+└-- WORKAREA      # ジャッジ用の一時ディレクトリ
+    └-- main.rs   # ユーザプログラム（提出されたプログラム）のソースコード
+```
+
+`WORKAREA`に`cd`で移動して、後述のコンパイルコマンドを実行します。
+すると以下のことが行われ`main`という名の実行可能ファイル（バイナリ）が生成されます。
+
+1. プログラムがアセンブリコードに変換されオブジェクトファイルが作られる
+1. オブジェクトファイルがRustの標準ライブラリや`${RUST_MOME}/lib/target/release/deps`配下に作成しておいた`rlib`とリンクされる
+
+```console
+$HOME
+└-- WORKAREA
+    |-- main.rs
+    └-- main      # コンパイルとリンクの成果物。実行可能ファイル（バイナリ）
+```
+
+
+## コンパイルコマンド
+
+ツールチェインのインストールのページで説明したように、コンパイルを実行するシェルに以下の環境変数が設定されている必要があります。
+
+```console
+$ echo $RUST_HOME
+/usr/local/lib/rust
+
+$ echo $RUSTUP_HOME
+/usr/local/lib/rust/rustup
+
+$ echo $CARGO_HOME
+/usr/local/lib/rust/cargo
+
+$ echo $PATH
+... /usr/local/lib/rust/cargo/bin; ...
+```
+
+コンパイルコマンドは以下のとおりです。
+
+```console
+$ cd ${HOME}/WORKAREA
+$ RUST_LIB=${RUST_HOME}/lib
+$ rustc --edition=2018 -C opt-level=3 \
+    $(rustc-dep-option-generator ${RUST_LIB}/Cargo.toml ${RUST_LIB}/target/release/deps) \
+    main.rs
+```
+
+これにより`${HOME}/WORKAREA`ディレクトリに`main`という名のバイナリが生成されます。
+
+
+### コンパイルオプションについて
 
 **TODO**
+
+
+## 実行コマンド
+
+バイナリを実行するコマンドは以下のとおりです。
+
+```console
+$ cd ${HOME}/WORKAREA
+$ ./main < 入力データファイル
+```
diff --git a/src/atcoder-env/installing-rust-crates.md b/src/atcoder-env/installing-rust-crates.md
@@ -2,7 +2,7 @@
 
 # クレートのコンパイルとインストール
 
-本ページではAtCoderのジャッジサーバにRustの外部ライブラリであるクレートをインストールする手順を説明します。
+このページではAtCoderのジャッジサーバにRustの外部ライブラリであるクレートをインストールする手順を説明します。
 
 
 ## インストールするクレートについて
@@ -82,7 +82,7 @@ $RUST_HOME (/usr/local/lib/rust)
 
 そしてジャッジの際には、`cargo`を使用せず、`rustc`に適切なオプション（ライブラリ検索パスなど）を与えて実行することで、事前にコンパイルしておいた`rlib`ファイルとリンクさせます。
 
-**AtCoderジャッジサーバでのファイルレイアウト（ジャッジの際に作成する）**
+**AtCoderジャッジサーバでのファイルレイアウト（ジャッジの際に作成するもの）**
 
 ```console
 $HOME             # ユーザのホームディレクトリ
diff --git a/src/atcoder-env/installing-rust-toolchain.md b/src/atcoder-env/installing-rust-toolchain.md
@@ -2,7 +2,7 @@
 
 # Rustツールチェインのインストール
 
-本ページではAtCoderのジャッジサーバにRustツールチェインをインストールする手順を説明します。
+このページではAtCoderのジャッジサーバにRustツールチェインをインストールする手順を説明します。
 
 
 ## Rustバージョン
diff --git a/src/atcoder-env/installing-rustc-dep-option-generator.md b/src/atcoder-env/installing-rustc-dep-option-generator.md
@@ -6,7 +6,7 @@
 
 > ジャッジの際には、`cargo`を使用せず、`rustc`に適切なオプション（ライブラリ検索パスなど）を与えて実行することで、事前にコンパイルしておいた`rlib`ファイルとリンクさせます。
 
-本ページではこの`rustc`のコマンドライン・オプションを生成するツールである`rustc-dep-option-generator`のインストール手順を説明します。
+このページでは`rustc`のコマンドライン・オプションを生成するツールである`rustc-dep-option-generator`のインストール手順を説明します。
 このツールはRustで書かれています。
 
 
@@ -68,7 +68,7 @@ $ which rustc-dep-option-generator
 $ echo $RUST_HOME
 /usr/local/lib/rust
 
-$ export RUST_LIB=${RUST_HOME}/lib
+$ RUST_LIB=${RUST_HOME}/lib
 $ rustc-dep-option-generator ${RUST_LIB}/Cargo.toml ${RUST_LIB}/target/release/deps
 --extern arrayvec=/usr/local/lib/rust/lib/target/release/deps/libarrayvec-cc9c39e9e371e142.rlib
 --extern hashbrown=/usr/local/lib/rust/lib/target/release/deps/libhashbrown-106405935e6124e3.rlib
diff --git a/src/atcoder-env/supported-environment.md b/src/atcoder-env/supported-environment.md
@@ -6,7 +6,7 @@
 
 ## 用語
 
-本章で用いる用語には以下のものがあります。
+まずは用語の整理です。本章で用いる用語には以下のものがあります。
 
 - **ユーザプログラム**
   - 選手が提出したプログラムのこと
