51 lines
1.1 KiB
Diff
51 lines
1.1 KiB
Diff
|
From 6200b0202f2a42752a861ae31ea582cf77223d03 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Shin'ya Minazuki <shinyoukai@chaotic.ninja>
|
||
|
|
Date: Tue, 25 Aug 2026 11:52:34 -0400
|
||
|
|
Subject: [PATCH] Compile without using the seq library
|
||
|
|
|
||
|
|
---
|
||
|
|
src/core/dune | 1 -
|
||
|
|
src/dune | 1 -
|
||
|
|
src/html/dune | 2 +-
|
||
|
|
3 files changed, 1 insertion(+), 3 deletions(-)
|
||
|
|
|
||
|
|
diff --git a/src/core/dune b/src/core/dune
|
||
|
|
index 757eb8e5..9a8fafe7 100644
|
||
|
|
--- a/src/core/dune
|
||
|
|
+++ b/src/core/dune
|
||
|
|
@@ -4,7 +4,6 @@
|
||
|
|
(private_modules parse_ common_)
|
||
|
|
(libraries
|
||
|
|
threads
|
||
|
|
- seq
|
||
|
|
hmap
|
||
|
|
iostream
|
||
|
|
(select
|
||
|
|
diff --git a/src/dune b/src/dune
|
||
|
|
index 1e38b1ef..9e3e0bd3 100644
|
||
|
|
--- a/src/dune
|
||
|
|
+++ b/src/dune
|
||
|
|
@@ -4,7 +4,6 @@
|
||
|
|
(flags :standard -open Tiny_httpd_core)
|
||
|
|
(libraries
|
||
|
|
threads
|
||
|
|
- seq
|
||
|
|
unix
|
||
|
|
hmap
|
||
|
|
(re_export tiny_httpd.core)
|
||
|
|
diff --git a/src/html/dune b/src/html/dune
|
||
|
|
index a9cc3c54..ac337913 100644
|
||
|
|
--- a/src/html/dune
|
||
|
|
+++ b/src/html/dune
|
||
|
|
@@ -2,7 +2,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)
|
||
|
|
--
|
||
|
|
2.54.0
|
||
|
|
|