[Draft] CI and Public library

[filipeom]

This is a work in progress. Currently, my build is failing to install due to these errors:

Current problems

File "api/dune", line 11, characters 9-20:
11 |   (names build_enums)
              ^^^^^^^^^^^
In file included from build_enums.cpp:5:
../vendor/cvc5/include/cvc5/cvc5.h:16:10: fatal error: cvc5/cvc5_export.h: No such file or directory
   16 | #include <cvc5/cvc5_export.h>
      |          ^~~~~~~~~~~~~~~~~~~~
compilation terminated.
File "dune", line 7, characters 9-19:
7 |   (names cvc5_stubs)
             ^^^^^^^^^^
In file included from cvc5_stubs.cpp:10:
vendor/cvc5/include/cvc5/cvc5.h:16:10: fatal error: cvc5/cvc5_export.h: No such file or directory
   16 | #include <cvc5/cvc5_export.h>
      |          ^~~~~~~~~~~~~~~~~~~~
compilation terminated.

It seems to be complaining that cvc5_export.h doesn't exist. Maybe I'm missing some include?

Public library

Also, when I made the cvc5 library public (with the public_name cvc5) it seems that is it also raising new errors complaining about missing shared libraries:

File "dune", line 1, characters 0-454:
 1 | (library
 2 |  (public_name cvc5)
 3 |  (name cvc5)
....
17 |   vendor/picpolyxx)
18 |  (library_flags -linkall)
19 |  (c_library_flags :standard -std=c++17 -L/opt/homebrew/lib -lgmp))
Error: No rule found for vendor/dllcadical.so
File "dune", line 1, characters 0-454:
 1 | (library
 2 |  (public_name cvc5)
 3 |  (name cvc5)
....
17 |   vendor/picpolyxx)
18 |  (library_flags -linkall)
19 |  (c_library_flags :standard -std=c++17 -L/opt/homebrew/lib -lgmp))
Error: No rule found for vendor/dllcvc5.so
File "dune", line 1, characters 0-454:
 1 | (library
 2 |  (public_name cvc5)
 3 |  (name cvc5)
....
17 |   vendor/picpolyxx)
18 |  (library_flags -linkall)
19 |  (c_library_flags :standard -std=c++17 -L/opt/homebrew/lib -lgmp))
Error: No rule found for vendor/dllpicpoly.so
File "dune", line 1, characters 0-454:
 1 | (library
 2 |  (public_name cvc5)
 3 |  (name cvc5)
....
17 |   vendor/picpolyxx)
18 |  (library_flags -linkall)
19 |  (c_library_flags :standard -std=c++17 -L/opt/homebrew/lib -lgmp))
Error: No rule found for vendor/dllpicpolyxx.so

This second problem seems to be more problematic, as using ./configure.sh with --static will only generate static library archives (i.e., .a) and using the configuration script without --static only generates shared library archives (i.e., .so) there's no option to use configure to generate both.

[filipeom]

I'll leave this issue here as I think it might be relevant to me ocaml/dune#4409

[filipeom]

Btw, can you add some ocamlformat configuration to the project and run dune fmt? Just so things are a bit more consistent

I recommend https://github.com/formalsec/encoding/blob/main/.ocamlformat but you can choose whatever you like most

[joaomhmpereira]

Thanks for all the help @filipeom!
Merging!