haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Allow to statically link utop 

Fixes #285

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
Jeremie Dimino 2019-06-06 13:32:57 +01:00
parent 1fa416862f
commit 7e8567682d
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
CHANGES.md
View File

@ -1,3 +1,8 @@
next
----
- Allow to statically link utop (@diml, #285)
2.4.0 (2019-05-17) 2.4.0 (2019-05-17)
------------------ ------------------

1
src/top/dune
View File

@ -2,6 +2,7 @@
(names utop) (names utop)
(libraries utop) (libraries utop)
(flags :standard -safe-string) (flags :standard -safe-string)
(mode byte)
(link_flags -linkall)) (link_flags -linkall))
(rule (rule