Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:16:03 JST きゅーけー

ACL2 を Guix にインストールするバトルを始めるか……。難しそうなのでつらい。

In conversation Wednesday, 20-Jan-2021 09:16:03 JST from mastodon.tojo.tokyo permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:17:01 JST きゅーけー
  in reply to
  
  https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/interpreters/acl2/default.nixNixOS にはあるじゃん！
  In conversation Wednesday, 20-Jan-2021 09:17:01 JST permalink
  Attachments
  1. Untitled attachment
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:18:07 JST きゅーけー
  in reply to
  
  s/NixOS/Nix/
  
  In conversation Wednesday, 20-Jan-2021 09:18:07 JST permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:20:02 JST きゅーけー
  in reply to
  
  うわ、Nix に適用するためのパッチが二つもある。https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/interpreters/acl2/0001-Fix-some-paths-for-Nix-build.patch https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/interpreters/acl2/0002-Restrict-RDTSC-to-x86.patch
  
  In conversation Wednesday, 20-Jan-2021 09:20:02 JST permalink

Feeds