我从网站上获得了最新的Frama-C .zip文件，将其解压缩并运行./configure。这似乎没有问题但是当我跑sudo make时，我得到了：
$ sudo make
Ocamlc external/unz.cmo
File "external/unz.ml", line 39, characters 10-19:
Error: Unbound module Z
make: *** [external/unz.cmo] Error 2
当我运行sudo make install时，我明白了：
install: cannot stat ‘src/kernel/unroll_loops.o’: No such file or directory
install: cannot stat ‘src/misc/filter.o’: No such file or directory
install: cannot stat ‘src/kernel/special_hooks.o’: No such file or directory
install: cannot stat ‘src/logic/logic_interp.o’: No such file or directory
install: cannot stat ‘src/logic/infer_annotations.o’: No such file or directory
install: cannot stat ‘src/logic/allocates.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Metrics.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Syntactic_callgraph.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Value.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Occurrence.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/RteGen.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/From.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Users.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Constant_Propagation.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Postdominators.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Inout.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Semantic_callgraph.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Impact.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Pdg.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Scope.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Sparecode.o’: No such file or directory
install: cannot stat ‘/home/adam/frama-c-Sodium-20150201/lib/plugins/Slicing.o’: No such file or directory
install: cannot stat ‘src/kernel/boot.o’: No such file or directory
make: *** [install-lib] Error 1
这些错误继续产生同样的效果，它正在寻找我没有的.o文件。我原以为./configure或make会产生它们，尽管事实并非如此。有什么想法吗？