make documentation building optional

meson.build

@@ -11,19 +11,20 @@ project('obelisk',
 
 llvm = dependency('llvm', version: '>= 14.0.0', modules : ['core', 'target', 'mcjit', 'nativecodegen'], required : true, method: 'config-tool')
 
-doxygen = find_program('doxygen', required : false)
-
 cdata = configuration_data()
 cdata.set('VERSION', meson.project_version())
 
+docs_enabled = get_option('docs')
+if docs_enabled
+    doxygen = find_program('doxygen', required : false)
+    if doxygen.found()
         if find_program('dot', required : false).found()
             cdata.set('HAVE_DOT', 'YES')
         else
             cdata.set('HAVE_DOT', 'NO')
         endif
-
-if doxygen.found()
         subdir('doc')
     endif
+endif
 
 subdir('src')

meson_options.txt

@@ -0,0 +1,4 @@
+option('docs',
+    type: 'boolean',
+    value: true,
+    description: 'Build documentation for obelisk')