properly compile sat

src/sage/meson.build

@@ -13,7 +13,6 @@ no_processing = [
     'parallel',
     'repl',
     'sandpiles',
-    'sat',
     'tensor',
     'topology',
     'typeset',
@@ -79,3 +78,4 @@ subdir('stats')
 subdir('symbolic')
 subdir('tests')
 subdir('dynamics')
+subdir('sat')

src/sage/sat/meson.build

@@ -0,0 +1,8 @@
+py.install_sources(
+    'all.py',
+    'boolean_polynomials.py',
+    subdir: 'sage/sat',
+)
+
+install_subdir('converters', install_dir: sage_install_dir / 'sat')
+subdir('solvers')

src/sage/sat/solvers/meson.build

@@ -0,0 +1,23 @@
+py.install_sources(
+    '__init__.py',
+    'cryptominisat.py',
+    'dimacs.py',
+    'picosat.py',
+    'sat_lp.py',
+    subdir: 'sage/sat/solvers',
+)
+
+extension_data = {
+    'satsolver': files('satsolver.pyx'),
+}
+
+foreach name, pyx : extension_data
+    py.extension_module(name,
+        sources: pyx,
+        subdir: 'sage/sat/solvers',
+        install: true,
+        include_directories: [],
+        dependencies: [py_dep, gmp],
+    )
+endforeach
+