Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Aug-2021 02:47:40 JST きゅーけー

   Guix ユーザーなので Docker 使わないで部分的に guix environment で環境を作って acl2 を実行したんだけど微妙な気はしている。https://git.tojo.tokyo/ci.git/tree/jobs/acl2-verify.run#n11

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Aug-2021 02:48:18 JST きゅーけー

     in reply to

     どうするのがいいのかまだ整理できていない。せっかく Guix を使っているので Docker 使うのはなんか違う気がしている。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Aug-2021 02:51:56 JST きゅーけー

     in reply to

     ここで使っている acl2 パッケージが tojo-tokyo-guix-channel にあるパッケージであることが明示できていないのが微妙な感じ。

     ってコメント書けばいいか。https://git.tojo.tokyo/tojo-tokyo-guix-channel.git/commit/?id=30ec829df2fae26dd03c6ad383ad8190acad6251

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Aug-2021 03:52:00 JST きゅーけー

     in reply to

     Guix のビルドでテストするのが理想的な感じする