X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8df2e702cf3e5ed9b8433585b357bbcd9f0d623e..aa56e112996b3650e8ac343831322d2a9ab0de54:/Makefile diff --git a/Makefile b/Makefile index 7964314..2d5c588 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,7 @@ -all: configDefault/config.sig configDefault/configDefault.sml +all: configDefault/config.sig configDefault/configDefault.sml \ + openssl/openssl_sml.so openssl/smlnj/FFI/libssl.h.cm -.PHONY: all +.PHONY: all openssl configDefault/config.sig: src/config.sig.header \ configDefault/*.csg configDefault/*.cfs \ @@ -18,3 +19,15 @@ configDefault/configDefault.sml: src/configDefault.sml.header \ src/configDefault.sml.footer \ >configDefault/configDefault.sml +openssl/openssl_sml.o: openssl/openssl_sml.c + gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o + +openssl/openssl_sml.so: openssl/openssl_sml.o + gcc -shared -Wl,-soname,openssl_sml.so \ + -o openssl/openssl_sml.so \ + openssl/openssl_sml.o -lssl + +openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h + cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \ + -cm libssl.h.cm -D__builtin_va_list="void*" \ + ../openssl_sml.h