Я в основном играю с F # в Linux и хотел бы получить все необходимые библиотеки GUI (Gtk, Gdk, Atk, Glib, Pango, Cairo) для ссылки по умолчанию, чтобы я мог просто использовать
open Gtk;;
без каких-либо дополнительных действий.
Моим лучшим предположением было бы изменить скрипт запуска fsi, который на данный момент выглядит так:
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe $@
Обновление: рабочая версия скрипта, как в предложении Стивена:
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe -r "/usr/lib/cli/atk-sharp-2.0/atk-sharp.dll" -r "/usr/lib/cli/glib-sharp-2.0/glib-sharp.dll" -r "/usr/lib/cli/gdk-sharp-2.0/gdk-sharp.dll" -r "/usr/lib/cli/gtk-sharp-2.0/gtk-sharp.dll" -r "/usr/lib/cli/pango-sharp-2.0/pango-sharp.dll" -r "/usr/lib/mono/2.0/Mono.Cairo.dll" $@