summaryrefslogtreecommitdiffstats
path: root/external/glpk/dune
diff options
context:
space:
mode:
authorAlexandre Jesus <adbjesus@gmail.com>2025-12-10 23:55:35 +0000
committerAlexandre Jesus <adbjesus@gmail.com>2025-12-11 00:00:58 +0000
commitf8c60d12b07875290b763cc13c26ec66aaf5409c (patch)
treea161edf2f88509da985f55113415f6454ecb16d7 /external/glpk/dune
parent7f6e2dfc645806b7b383158953f78cf9a74e4c40 (diff)
downloadaoc2025-f8c60d12b07875290b763cc13c26ec66aaf5409c.tar.gz
aoc2025-f8c60d12b07875290b763cc13c26ec66aaf5409c.zip
Day 10 (learned to use ctypes :))
Diffstat (limited to 'external/glpk/dune')
-rw-r--r--external/glpk/dune17
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