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
Also replace the manually specified CFLAGS and LDFLAGS with ones returned by
pkg-config.

There is a bug in flint's .pc file where -lflint is missing, so keep manually
adding that flag.
  • Loading branch information
jrick committed Dec 8, 2023
1 parent ea898fb commit f57753d
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions solver/solver.go
Original file line number Diff line number Diff line change
@@ -1,11 +1,15 @@
package solver

/*
#cgo CFLAGS: -I/usr/local/include
#cgo LDFLAGS: -L/usr/local/lib -lflint -lmpfr -lgmp -lm
#cgo pkg-config: flint
// missing from flint.pc as of 3.0.1
#cgo LDFLAGS: -lflint
#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 f57753d

Please sign in to comment.