AndersonTorres 1c0d37a038 Higan: adding config.higan.{guiToolkit,profile} options ...

Now we can parametrize Higan locally.
By default, guiToolkit = "gtk" and profile = "performance" (the accuracy
profile is seriously slow on my machine :) )

Closes #4340

2014-10-01 02:17:40 +01:00

..

default.nix

Higan: adding config.higan.{guiToolkit,profile} options

2014-10-01 02:17:40 +01:00