Hi again.
There seems to be a bug in ocaml-soundtouch-0.1.5's OCamlMakefile.
If I issue "make doc" then the build process "hangs" on this line:
rm -rf doc/soundtouch/html/*
until I press enter and "make doc" continues and finishes as expected.
It seems to be failing at "$(DOC_DIR)/$(RESULT)/html/index.html" when calling
sed.
It's all because $(FIRST_DOC_FILE) is an empty string. It's empty because
SOURCE does not contain an mli file (only ml).
This is the offending line:
$(QUIET)pp=`sed -n -e '/^#/d' -e 's/(\*pp \([^*]*\) \*)/\1/p;q'
$(FIRST_DOC_FILE)`; \
I can "make doc" if I change OCamlMakefile's DOC_FILES assignment:
ifndef DOC_FILES
DOC_FILES := $(filter %.ml, $(SOURCES))
endif
Is this correct?
Thanks
------------------------------------------------------------------------------
The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
Pinpoint memory and threading errors before they happen.
Find and fix more than 250 security defects in the development cycle.
Locate bottlenecks in serial and parallel code that limit performance.
http://p.sf.net/sfu/intel-dev2devfeb
_______________________________________________
Savonet-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/savonet-users
