Skip to content

Commit 3cdd69d

Browse files
committed
Add pkg-config file and correct SO-name
Also fix wrong path to the configurable file `flint-config.h'
1 parent 329be90 commit 3cdd69d

File tree

2 files changed

+7
-3
lines changed

2 files changed

+7
-3
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,3 +54,4 @@ install-sh
5454
libtool
5555
ltmain.sh
5656
src/config.h.in
57+
flint.pc

Makefile.in

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@ exec_prefix:=@exec_prefix@
3636
INCLUDEDIR:=@includedir@
3737
LIBDIR:=@libdir@
3838
BINDIR:=@bindir@
39+
PKGCONFIGDIR:=$(LIBDIR)/pkgconfig
3940

4041
HOST_OS:=@host_os@
4142

@@ -94,8 +95,8 @@ EXE_LDFLAGS:=$(LDFLAGS) $(foreach path, $(ABS_FLINT_DIR) $(GMP_LIB_PATH) $(MPFR_
9495
################################################################################
9596

9697
CFG_FILES := \
97-
$(FLINT_DIR)/config.log $(FLINT_DIR)/flint-config.h \
98-
$(SRC_DIR)/fft_tuning.h \
98+
$(FLINT_DIR)/config.log $(SRC_DIR)/flint-config.h \
99+
$(SRC_DIR)/fft_tuning.h $(FLINT_DIR)/flint.pc \
99100
$(FLINT_DIR)/Makefile $(SRC_DIR)/fmpz/fmpz.c
100101

101102
################################################################################
@@ -195,7 +196,7 @@ endif
195196

196197
INSTALL_DIRS := \
197198
$(LIBDIR) $(INCLUDEDIR)/flint \
198-
$(INCLUDEDIR)/flint/flintxx
199+
$(INCLUDEDIR)/flint/flintxx $(PKGCONFIGDIR)
199200
ifneq ($(findstring $(HOST_OS),mingw32 mingw64 cygwin msys),)
200201
INSTALL_DIRS += $(BINDIR)
201202
endif
@@ -724,6 +725,7 @@ distclean: clean
724725
################################################################################
725726

726727
install: library | $(INSTALL_DIRS)
728+
$(CP) flint.pc $(PKGCONFIGDIR)/flint.pc
727729
ifneq ($(SHARED), 0)
728730
ifeq ($(findstring $(HOST_OS),mingw32 mingw64 cygwin msys),)
729731
$(CP_A) $(FLINT_DIR)/$(FLINT_LIBNAME)* $(LIBDIR)
@@ -746,6 +748,7 @@ endif
746748
endif
747749

748750
uninstall:
751+
$(RM_F) $(PKGCONFIGDIR)/flint.pc
749752
$(RM_RF) $(INCLUDEDIR)/flint
750753
$(RM_F) $(LIBDIR)/$(FLINT_LIB_STATIC)
751754
ifeq ($(findstring $(HOST_OS),mingw32 mingw64 cygwin msys),)

0 commit comments

Comments
 (0)