Skip to content

Commit

Permalink
Add included headers needed by flint 3.0.1
Browse files Browse the repository at this point in the history
  • Loading branch information
jrick committed Dec 8, 2023
1 parent ea898fb commit 09ca221
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions solver/solver.go
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,10 @@ package solver
#cgo LDFLAGS: -L/usr/local/lib -lflint -lmpfr -lgmp -lm
#include <stdlib.h>
#include <flint/flint.h>
#include <flint/fmpz.h>
#include <flint/fmpz_mod.h>
#include <flint/fmpz_mod_poly.h>
#include <flint/fmpz_mod_poly_factor.h>
*/
import "C"
import (
Expand Down

0 comments on commit 09ca221

Please sign in to comment.