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