1 files changed, 17 insertions, 0 deletions
diff --git a/external/glpk/dune b/external/glpk/dune
new file mode 100644
index 0000000..5d75615
--- /dev/null
+++ b/external/glpk/dune
@@ -0,0 +1,17 @@
+; SPDX-FileCopyrightText: Copyright 2025 Alexandre Jesus <https://adbjesus.com>
+;
+; SPDX-License-Identifier: CC0-1.0
+
+(library
+ (name glpk)
+ (ctypes
+  (external_library_name glpk)
+  (headers (include "glpk.h"))
+  (type_description
+   (instance Types)
+   (functor Type_description))
+  (function_description
+   (instance Functions)
+   (functor Function_description))
+  (generated_types Types_generated)
+  (generated_entry_point C)))
+\ No newline at end of file