curl -L https://nixos.org/nix/install | sh

调用 nix-shell 以获取一个完全准备好的开发环境，其中包含所有已安装的库。这将自动下载您需要的所有依赖项和工具。在编译系统后，您可以通过调用

./compile.sh Programs/test_fix_array

64位电路

注意：对于鲁汶的维护者，如果您希望重新编译基本的64位电路，则调用

make circuits

然后，这些电路将从网表编译回布里斯托尔风格，然后简化。

完成此操作后运行

./Test-Convert.x

以检查一切正常。

如果您想从.vhd重新编译.net电路，请参阅Circuits/README.txt中的说明

贡献和发布

我们在系统的所有更改上都运行了一个相当广泛的测试套件。事实上，在机器上测试需要大约三天。我们还想在发布之间保持系统的稳定性。因此，我们制定了以下经验法则

i) 新版本大约每季度发布一次。

ii) 同时只进行重大错误修复。

iii) 加入邮件列表以获取更新（[email protected]）

iv) 对于您发现的微小更改/错误修复，您可以给小组发邮件或者在这里创建一个拉取请求。然后我们会查看代码，将其集成到我们的私有主系统中并进行测试。接下来，我们将随着下一个版本一起将其推送到GitHub。

v) 对于重大的更改（不仅仅是几行代码），请先与我们沟通。您可能正在进行我们计划近期废弃的工作。所以您不想浪费时间。