2012-04-24から1日間の記事一覧

X10 on Gentoo Linux amd64

X10言語処理系のebuildを書いた。ビルド自体は何の障害も無く、ドキュメント通りにすれば通ったのであまり苦労しなかった。 自作のproof-overlayに置いておくので、d:id:na4zagin3:1320755758 に沿ってオーバーレイを追加した後、 emerge dev-lang/x10でイン…