Commit 7e2045cd authored by Gerd Stolpmann's avatar Gerd Stolpmann

support for raw_spacetime

parent ae94a2bf
......@@ -526,10 +526,20 @@ else
cbytes=1
fi
# spacetime?
if [ -f "${ocaml_core_stdlib}/raw_spacetime_lib.cmxa" ]; then
echo "spacetime: found"
lspacetime="raw_spacetime"
else
echo "spacetime: not found"
lspacetime=""
fi
# Generate the META files now.
l="$ldbm dynlink graphics num num-top str threads unix stdlib bigarray ocamldoc $llabltk $lcamlp4 $lobuild $lcomplibs $lbytes"
l="$ldbm dynlink graphics num num-top str threads unix stdlib bigarray ocamldoc $llabltk $lcamlp4 $lobuild $lcomplibs $lbytes $lspacetime"
for dir in site-lib-src/*; do
# We do not really know if $dir is a directory.
......
dnl This file is input of the m4 macro processor.
`# Specifications for the "spacetime" library:'
`requires = ""'
`description = "Support library for the spacetime profiler"'
`version = "[distributed with Ocaml]"'
`directory = "^"'
`browse_interfaces = "'interfaces`"'
`archive(byte) = "raw_spacetime_lib.cma"'
`archive(native) = "raw_spacetime_lib.cmxa"'
`plugin(byte) = "raw_spacetime_lib.cma"'
`plugin(native) = "raw_spacetime_lib.cmxs"'
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment