TOD: Add TOuch Drivers loader

2026-06-10 18:24:19 +00:00 · 2019-12-17 00:48:49 +01:00
parent b8e558452a
commit 29be067297
8 changed files with 294 additions and 0 deletions
@@ -22,3 +22,8 @@ option('doc',
       description: 'Whether to build the API documentation',
       type: 'boolean',
       value: true)
+
+option('tod',
+       description: 'Whether to build the TOD library',
+       type: 'boolean',
+       value: true)