Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: dose-patch-plu…
Fetching contributors…

Cannot retrieve contributors at this time

62 lines (51 sloc) 1.039 kb
begin library "re"
dirname = "%{lib}%/re"
generated = true
end
begin library "re_perl"
dirname = "%{lib}%/re"
generated = true
requires = [ "re" ]
end
begin library "re_glob"
dirname = "%{lib}%/re"
generated = true
requires = [ "re" ]
end
begin library "re_pcre"
dirname = "%{lib}%/re"
generated = true
requires = [ "re_perl" ]
end
begin library "re_emacs"
dirname = "%{lib}%/re"
generated = true
requires = [ "re" ]
end
begin library "re_str"
dirname = "%{lib}%/re"
generated = true
requires = [ "re_emacs" ]
end
begin library "graph"
dirname = "%{lib}%/ocamlgraph"
generated = true
end
begin library "cudf"
dirname = "%{lib}%/cudf"
generated = true
requires = [ "extLib" ]
end
begin library "dose"
dirname = "%{lib}%/dose"
generated = true
requires = [ "re_pcre" "extLib" "cudf" "graph" "unix" "str" ]
end
begin library "extLib"
dirname = "%{lib}%/extlib"
generated = true
end
begin library "cmdliner"
dirname = "%{lib}%/cmdliner"
generated = true
end
Jump to Line
Something went wrong with that request. Please try again.