File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -59,6 +59,38 @@ make -j2
5959sudo make install
6060```
6161
62+ ### Installation issues
63+
64+ Sometimes, the above instructions do not result in a working HDT
65+ installation. This section enumerates common issues and their
66+ workaround.
67+
68+ #### ` ./configure ` cannot find Serd
69+
70+ While running ` ./configure ` you get a message similar to the
71+ following:
72+
73+ ```
74+ Package 'serd-0', required by 'virtual:world', not found
75+ ```
76+
77+ This means that ` ./configure ` cannot find the location of the
78+ ` serd-0.pc ` file on your computer. You have to find this location
79+ yourself, e.g., in the following way:
80+
81+ ``` sh
82+ find /usr/ -name serd-0.pc
83+ ```
84+
85+ Once you have found the directory containing the ` serd-0.pc ` file, you
86+ have to inform the ` ./configure ` script about this location by setting
87+ the following environment variable (where directory
88+ ` /usr/local/lib/pkgconfig/ ` is adapted to your situation):
89+
90+ ``` sh
91+ export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig/
92+ ```
93+
6294## Using HDT
6395
6496After compiling and installing, you can use the handy tools that are
You can’t perform that action at this time.
0 commit comments