今年は何もしませんでしたね……我ながら酷い。4月に、headmasterでLinuxのstring.hが変換できないというissueをいただいて、12月も末になってようやく修正した、そんな年です。こうも時間がかかったのは、VirtualBoxを使うようになったのが結構最近だからで、…

2012年12月時点でのgccまたはGNAT GPLをインストールした際に付属する「公式」ツール群の紹介を行う。多岐に渡るので、一つ一つの詳しい説明は行わない。各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。もし知らないツール名があったらちょ…