lib - add OPT as cflags_extra in ceed.pc

Author: jeremylt

Diff for: Makefile

@@ -845,6 +845,7 @@ $(OBJDIR)/ceed.pc : pkgconfig-prefix = $(prefix)
 %/ceed.pc : ceed.pc.template | $$(@D)/.DIR
 	@$(SED) \
 	    -e "s:%prefix%:$(pkgconfig-prefix):" \
+	    -e "s:%opt%:$(OPT):" \
 	    -e "s:%libs_private%:$(pkgconfig-libs-private):" $< > $@
 
 $(OBJDIR)/interface/ceed-jit-source-root-default.o : CPPFLAGS += -DCEED_JIT_SOURCE_ROOT_DEFAULT="\"$(abspath ./include)/\""

Diff for: ceed.pc.template

@@ -1,6 +1,7 @@
 prefix=%prefix%
 includedir=${prefix}/include
 libdir=${prefix}/lib
+cflags_extra=%opt%
 
 Name: CEED
 Description: Code for Efficient Extensible Discretization