You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I built gnatdoc4 using alr and installed it into ~/opt/bin, so I added Html_Custom_Dir to the gpr which points at the ~/mine-new/gnatdoc_23.0.0_0e9095ce/share/gnatdoc/html directory, it's a full absolute path in my gpr. I get the following error:
$ gnatdoc4 -P gnatdoc_test.gpr
raised ADA.IO_EXCEPTIONS.NAME_ERROR : Could not open $HOME/opt/share/gnatdoc/html/template/index.xhtml
The text was updated successfully, but these errors were encountered:
with "config/gnatdoc_test_config.gpr";
project Gnatdoc_Test is
for Source_Dirs use ("src/", "config/");
for Object_Dir use "obj/" & Gnatdoc_Test_Config.Build_Profile;
for Create_Missing_Dirs use "True";
for Exec_Dir use "bin";
for Languages use ("C", "Ada");
for Main use ("gnatdoc_test.adb");
package Compiler is
for Default_Switches ("Ada") use Gnatdoc_Test_Config.Ada_Compiler_Switches;
end Compiler;
package Binder is
for Switches ("Ada") use ("-Es"); -- Symbolic traceback
end Binder;
package Install is
for Artifacts (".") use ("share");
end Install;
package Documentation is
for Html_Custom_Dir use "$HOME/src/mine-new/gnatdoc_23.0.0_0e9095ce/share/gnatdoc/html";
for Doc_Pattern use "^!";
end Documentation;
end Gnatdoc_Test;
Hi,
I'm just testing this and failing straight away.
I built gnatdoc4 using alr and installed it into ~/opt/bin, so I added Html_Custom_Dir to the gpr which points at the
~/mine-new/gnatdoc_23.0.0_0e9095ce/share/gnatdoc/html
directory, it's a full absolute path in my gpr. I get the following error:The text was updated successfully, but these errors were encountered: