diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-10-21 12:10:26 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-10-21 12:11:03 +0200 |
| commit | fb783d774a5f9c9daf9d8951b90d11279ccedd49 (patch) | |
| tree | 8dc9738f1d945b526676e50eca8ee5ddb8a27038 /dev-ml/tiny_httpd | |
| parent | app-emulation/spice: enable py3.13 (diff) | |
| download | gentoo-fb783d774a5f9c9daf9d8951b90d11279ccedd49.tar.gz gentoo-fb783d774a5f9c9daf9d8951b90d11279ccedd49.tar.bz2 gentoo-fb783d774a5f9c9daf9d8951b90d11279ccedd49.zip | |
dev-ml/tiny_httpd: drop seq deps
Closes: https://bugs.gentoo.org/941902
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/tiny_httpd')
| -rw-r--r-- | dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch index a5bb9531cfc8..7c05632bf0e3 100644 --- a/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch +++ b/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch @@ -7,3 +7,25 @@ - (libraries threads seq unix hmap tiny_httpd.core tiny_httpd.html + (libraries threads unix hmap tiny_httpd.core tiny_httpd.html tiny_httpd.unix)) +--- a/src/core/dune 2024-10-21 12:06:33.365496763 +0200 ++++ b/src/core/dune 2024-10-21 12:06:48.673307538 +0200 +@@ -3,7 +3,7 @@ + (name tiny_httpd_core) + (public_name tiny_httpd.core) + (private_modules parse_ common_) +- (libraries threads seq hmap iostream ++ (libraries threads hmap iostream + (select log.ml from + (logs -> log.logs.ml) + (-> log.default.ml)))) +--- a/src/html/dune 2024-10-21 12:07:25.727849443 +0200 ++++ b/src/html/dune 2024-10-21 12:07:39.004685307 +0200 +@@ -4,7 +4,7 @@ + (name tiny_httpd_html) + (public_name tiny_httpd.html) + (flags :standard -open Tiny_httpd_core) +- (libraries seq tiny_httpd.core)) ++ (libraries tiny_httpd.core)) + + (rule + (targets html_.ml) |