makefile - 'make' 找不到头文件

Question

make指令未找到编译所需的库。它们位于不同于通常 /usr/include 的其他文件夹中文件夹。
我正在遵守一个名为 magnum.fe 的模拟软件我已经安装了所有必需的依赖项(FEniCS = 1.5
CMake >= 2.8
痛饮 >= 2.0
G++ >= 4.0) 并开始运行make正如说明所建议的那样。

$ cd /path/to/magnum.fe
$ mkdir build
$ cd build
$ cmake ..
$ make
$ sudo make install

但是在运行 make 时出现以下错误:

/usr/include/petscsys.h:136:12: fatal error: petsc/mpiuni/mpi.h: No such file or directory
  136 | #  include <petsc/mpiuni/mpi.h>
      |            ^~~~~~~~~~~~~~~~~~~~
compilation terminated.

文件确实存在，但在其他文件夹中:/home/myusername/bin/petsc/include/mpiuni/mpi.h我编译了petsc在 /home/myusername/bin/petsc/使用以下说明:

$ ./configure --with-cc=gcc --with-cxx=g++ --with-fc=gfortran --download-mpich --download-fblaslapack
$ make all check

它编译成功，但我无法完成 magnum.fe 编译。
我尝试将每个头文件移动到 /usr/include但是现在如果将整个 petsc 目录移动到此文件夹中，我会坚持下去。它必须是一种更优雅的方式。
谢谢

Answer 1

我成功了!
有两种选择:
指定库 要与编辑 MAKEfile 的 make 命令一起使用，请使用变量 LDLIBS设置它。详细用法在这里:https://web.archive.org/web/20070723140628/http://arco.inf-cr.uclm.es/~david.villa/doc/repo/make/make.html#AEN36
或者
创建符号链接(symbolic link) 指向/usr/include .就我而言，我使用了:

ln -s /home/myusername/bin/petsc/include/* /usr/include