Berry failed port attempt leftovers :(

aux/compiledb.sh

@@ -12,3 +12,4 @@ make -B all_compiledb_libkb
 make -B all_compiledb_libaux
 make -B all_compiledb_libarena
 make -B all_compiledb_libioutil
+make -B all_compiledb_libmath

aux/devel.sh

@@ -19,6 +19,7 @@ make -B all_libkb         "$bt"
 make -B all_libaux        "$bt"
 make -B all_libarena      "$bt"
 make -B all_libioutil     "$bt"
+make -B all_libmath       "$bt"
 make -B all_apps          "$bt"
 make -B all_dist
 ./aux/limine_iso_amd64.sh

aux/docs.sh

@@ -13,5 +13,6 @@ make -B docs_libkb
 make -B docs_libaux
 make -B docs_libarena
 make -B docs_libioutil
+make -B docs_libmath
 
 mkdocs build

aux/format.sh

@@ -12,4 +12,5 @@ make -B format_libkb
 make -B format_libaux
 make -B format_libarena
 make -B format_libioutil
+make -B format_libmath
 make -B format_apps