Давайте посмотрим, что происходит, попробуйте
$ du -hs A
13M A
$ file A
A: ELF 64-bit LSB executable, x86-64, version 1 (SYSV),
dynamically linked (uses shared libs), for GNU/Linux 2.6.27, not stripped
$ ldd A
linux-vdso.so.1 => (0x00007fff1b9ff000)
libXrandr.so.2 => /usr/lib/libXrandr.so.2 (0x00007fb21f418000)
libX11.so.6 => /usr/lib/libX11.so.6 (0x00007fb21f0d9000)
libGLU.so.1 => /usr/lib/libGLU.so.1 (0x00007fb21ee6d000)
libGL.so.1 => /usr/lib/libGL.so.1 (0x00007fb21ebf4000)
libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007fb21e988000)
libm.so.6 => /lib/libm.so.6 (0x00007fb21e706000)
...
Из вывода ldd видно, что GHC создал динамически связанный исполняемый файл, но динамически связаны только библиотеки C !Все библиотеки Haskell скопированы дословно.
В сторону: поскольку это приложение с большим количеством графики, я определенно скомпилирую с ghc -O2
Есть две вещиВы можете сделать.
Удаление символов
Простое решение: удалить двоичный файл:
$ strip A
$ du -hs A
5.8M A
Удалить символы из файла объекта.Как правило, они нужны только для отладки.
Динамически связанные библиотеки Haskell
В последнее время GHC получил поддержку динамического связывания библиотек C и Haskell .Большинство дистрибутивов в настоящее время распространяют версию GHC, созданную для поддержки динамического связывания библиотек Haskell.Совместно используемые библиотеки Haskell могут совместно использоваться многими программами на Haskell, не копируя их каждый раз в исполняемый файл.
На момент написания статьи поддерживаются Linux и Windows.
Чтобы позволить библиотекам Haskell динамически связываться, вам необходимо скомпилировать их с помощью -dynamic, например:
$ ghc -O2 --make -dynamic A.hs
Кроме того, любые библиотеки, которые вы хотите использовать совместно, должны быть собраны с --enabled-shared:
$ cabal install opengl --enable-shared --reinstall
$ cabal install glfw --enable-shared --reinstall
И у вас получится намного меньший исполняемый файл, имеющий зависимости как C, так и Haskell.динамически разрешается.
$ ghc -O2 -dynamic A.hs
[1 of 4] Compiling S3DM.V3 ( S3DM/V3.hs, S3DM/V3.o )
[2 of 4] Compiling S3DM.M3 ( S3DM/M3.hs, S3DM/M3.o )
[3 of 4] Compiling S3DM.X4 ( S3DM/X4.hs, S3DM/X4.o )
[4 of 4] Compiling Main ( A.hs, A.o )
Linking A...
И, вуаля!
$ du -hs A
124K A
, который можно разделить, чтобы сделать его еще меньше:
$ strip A
$ du -hs A
84K A
Исполняемый файл Венсииз множества динамически связанных частей C и Haskell:
$ ldd A
libHSOpenGL-2.4.0.1-ghc7.0.3.so => ...
libHSTensor-1.0.0.1-ghc7.0.3.so => ...
libHSStateVar-1.0.0.0-ghc7.0.3.so =>...
libHSObjectName-1.0.0.0-ghc7.0.3.so => ...
libHSGLURaw-1.1.0.0-ghc7.0.3.so => ...
libHSOpenGLRaw-1.1.0.1-ghc7.0.3.so => ...
libHSbase-4.3.1.0-ghc7.0.3.so => ...
libHSinteger-gmp-0.2.0.3-ghc7.0.3.so => ...
libHSghc-prim-0.2.0.0-ghc7.0.3.so => ...
libHSrts-ghc7.0.3.so => ...
libm.so.6 => /lib/libm.so.6 (0x00007ffa4ffd6000)
librt.so.1 => /lib/librt.so.1 (0x00007ffa4fdce000)
libdl.so.2 => /lib/libdl.so.2 (0x00007ffa4fbca000)
libHSffi-ghc7.0.3.so => ...
И последний момент: даже в системах со статическим связыванием вы можете использовать -split-objs , чтобы получить одинФайл .o для каждой функции верхнего уровня, который может еще больше уменьшить размер статически связанных библиотек.Необходимо, чтобы GHC был собран с -split-objs, что некоторые системы забывают делать.