about summary refs log tree commit diff stats
path: root/gmi/bb85caff.txt
diff options
context:
space:
mode:
Diffstat (limited to 'gmi/bb85caff.txt')
-rw-r--r--gmi/bb85caff.txt25
1 files changed, 0 insertions, 25 deletions
diff --git a/gmi/bb85caff.txt b/gmi/bb85caff.txt
deleted file mode 100644
index fb81e3c..0000000
--- a/gmi/bb85caff.txt
+++ /dev/null
@@ -1,25 +0,0 @@
-ID: bb85caff-be39-47b0-9add-42fae180c796
-Title: OCaml static linking
-Authors: Nova[有線魔女] <novaburst@envs.net>
-Date: 2021-09-28T13:36:52-00:00
-Date-Edited: 2022-01-25T13:03:02-03:00
-Topics: Programming > OCaml 
-
-Since quite a while ago (a month or so I guess) I had read this blog post by OCamlPro[1] about generating static PIE with OCaml.
-The first project on where I have tried doing so was Logarion[2] , and afterwards bumpmap-tool[2], each using a different build system.
-In the 1st case I had to add the field '(flags (:standard -cclib -static))' to the 'cli/dune' file and rebuilt with 'dune build'
-As for the 2nd case I added '-cclib -static' to the 'ocamlopt' flags in the command line and rebuilt.
-
-I ran the ldd command in both (test done on a musl-based distro) only to have this output:
-	- /lib/ld-musl-x86_64.so.1: (insert executable name here): Not a valid dynamic program
-
-Which means that it does actually work, but I'm not sure whether it could work for bigger projects.
-I think that's all I've got to say here.
-
-## Links
-[1]: <https://www.ocamlpro.com/2021/09/02/generating-static-and-portable-executables-with-ocaml/>
-[2]: <http://logarion.orbitalfox.eu>
-[3]: <https://git.sr.ht/~novaburst-dev/bumpmap-tool>
-
-## Extras
-[Static builds of my own branch of Logarion]: <https://novaburst.bsd.tilde.team/logarion/>