How do I statically compile a C library into a Haskell module that I can later load with the GHC API? -



How do I statically compile a C library into a Haskell module that I can later load with the GHC API? -

here desired utilize case:

i have bundle single module reads hdf5 files , writes of info haskell records. work, library uses bindings-hdf5 package. here cabal's build-depends. reader-types module wrote defines types of haskell records contain read-in data.

build-depends: base of operations >=4.7 && <4.8 , text , vector , containers , bindings-hdf5 , reader-types

note cabal file not utilize extra-libraries or ghc-options. can load module, src/mabel.hs in ghci long specify required hdf5_hl library:

ghci src/mabel.hs -lhdf5_hl -l/long/nixos/path/lib

and within ghci, can run function fine.

now, want compile library/module single, compiled file can later load ghc api in different haskell program. single file, mean needs run if hdf5_hl library not exist on system. preferably, run if text, vector, and/or containers missing, not essential because reader-types requires types anyway. when loading module ghc api, want load in compiled form, , not run interpreted.

my purpose doing want self-contained file deed single, pre-compiled plugin file later loaded , executed different haskell executable. other plugins might not utilize hdf5 @ all, , bundle guaranteed utilize reader-types, defines plugin interface types.

the hdf5 library on scheme contains next files: libhdf5_la.la, libhdf5_hl.so, libhdf5.la, libhdf5.so, , similar files have version number in file name.

i have done lot of googling, getting confused border cases finding. here examples i'm either sure don't fit case, or can't tell.

i not want compile haskell library utilize c or python, haskell programme using ghc api. i not want compile c wrappers c++ library haskell module because bindings exist , library c library. i not want compile library exclusively self-contained because, since loading ghc api, don't need ghc runtime included in library. (my understanding plugins must compiled same ghc version loaded in ghc api). i not want compile c bindings , c library @ same time because c library compiled , bindings specified in separate bundle (bindings-hdf5). the closest resource want this exchange on mailing list 2009. however, added extra-libraries: hdf5_hl or extra-libraries: hdf5 cabal file, , in both cases resulting .a, .so, .dyn_hi, .dyn_o, .hi, , .o files in dist/build exact same size without using extra-libraries, i'm confident not working correctly.

what changes cabal file need create create self-contained, standalone file can later load ghc api? if not possible, alternatives?

instead of using ghc api, open using plugins library load plugin, self-contained requirements still same.

edit: not care form compiled "plugin" must take (i assume object file right way), want load dynamically separate executable @ run time , execute functions defines known names , known types. reason want single file there other different plugins, , want them behave same way without having worry lib paths , dependencies each one. compiled, single file simpler interface doing zipping/unzipping archives include haskell object code , dependencies.

haskell ghc cabal

Comments

Post a Comment

Popular posts from this blog

Delphi change the assembly code of a running process -

Delphi change the assembly code of a running process - i'm trying alter address 00741fa5 has push test.009e721c . alter push test.009e71c8 . procedure callback; asm force $9e71c8 end; procedure tform2.btn1click(sender: tobject); var ppid :dword; pprocess : cardinal; begin getwindowthreadprocessid(findwindow(nil,pchar('test')), @ppid); pprocess := openprocess(process_all_access, false, ppid); injectasm(pprocess, $741fa5, 10, integer(@callback), 0); end; here injectasm function (with error checking) function injectasm(process: longword; injectaddress, injectsize, codeaddress, codesize : integer): pointer; var csize, rsize : integer; replaced : array of byte; jmp : array [0..4] of byte; jmpaddress : integer; nopv : byte; : integer; nbr: ulong_ptr; begin //injectsize must equal or greater 5, because need space our //(far) jmp wwxxyyzz instruction //if there's no space, inject in place of few instructions if injectsize ...
Read more

json - Hibernate and Jackson (java.lang.IllegalStateException: Cannot call sendError() after the response has been committed) -

json - Hibernate and Jackson (java.lang.IllegalStateException: Cannot call sendError() after the response has been committed) - hello have problem hibernate , jackson. have 2 pojos @entity @table(name = "users") public class user implements serializable { static final long serialversionuid = 4235637833262722256l; @id @generatedvalue private int id; @column(name = "creation_date") private date creationdate; @column(name = "first_name") private string firstname; @column(name = "last_name") private string lastname; @version @column(name = "version") private int version; @column(name = "e_mail") private string email; @column(name = "enabled") private boolean enabled; @column(name = "login") private string login; @column(name = "password") private string password; @jsonmanagedreference("role") @onetomany(mappedby = "user", cascade = cascadetype.all,fetch = fetchtyp...
Read more

C++ 11 "class" keyword -

C++ 11 "class" keyword - i've started using c++ 11 little bit more , have few questions on special uses of class keyword. know it's used declare class, there's 2 instances have seen don't understand: method<class t>(); and class class_name *var; why precede typename keyword class in first example, , keyword pointer in sec example? that known elaborated type specifier , necessary when class name "shadowed" or "hidden" , need explicit. class t { }; // love of god don't t t; t t2; if compiler smart, give these warnings: main.cpp:15:5: error: must utilize 'class' tag refer type 't' in scope t t2; ^ class main.cpp:14:7: note: class 't' hidden non-type declaration of 't' here t t; ^ if class not defined, deed forwards declaration. for example: template <typename t> void method() { using type = typename t::value_type; } method...
Read more