-
Notifications
You must be signed in to change notification settings - Fork 115
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
dune 対応 #15
Comments
おそらく時間がとれないのと、できるだけシンプルなままにしたいのですが、具体的なpull requestは(取り入れるかどうかはご相談が必要になるかもしれませんが)歓迎します。 |
僕も時間がとれないですが,できるだけ intrusive にならないように時間が取れたときに試してみようとおもいます.(前提が偽かも.)
…On Mon, Jul 10, 2023 at 10:36 AM Eijiro Sumii ***@***.***> wrote:
おそらく時間がとれないのと、できるだけシンプルなままにしたいのですが、具体的なpull
requestは(取り入れるかどうかはご相談が必要になるかもしれませんが)歓迎します。
—
Reply to this email directly, view it on GitHub
<#15 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAFLU3Z4FCOR3PVO6NUZBU3XPNMBZANCNFSM6AAAAAA2D3HJ3A>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
--
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
***@***.***
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/
|
Duneを使ってビルドするだけなら、 dune build
dune build --profile ppc でx86およびppcバックエンドがそれぞれビルドできるようになっています。 dune build @check min-camlのMakefileはレイトレーシングのテストを走らせたり、htmlを生成したりしますが、それらの機能のduneへの移植はできていません。 |
ビルドシステムを dune に対応させる予定とかってありますかね.(ちょっとやってみようとしたけど,結構な改造が必要そう?)
The text was updated successfully, but these errors were encountered: