Opened 10 years ago
Closed 6 years ago
#942 closed enhancement (wontfix)
header files should be installed in include/rasdaman subdir
| Reported by: | Dimitar Misev | Owned by: | Dimitar Misev |
|---|---|---|---|
| Priority: | minor | Milestone: | 10.0 |
| Component: | build system | Version: | development |
| Keywords: | Cc: | Peter Baumann | |
| Complexity: | Medium |
Description
It'd be best practice to put the header files in include/rasdaman, rather than directly in include/. The RPMs already do this, installing headers in /usr/include/rasdaman
Change History (5)
comment:1 by , 10 years ago
| Milestone: | 9.1 → 10.0 |
|---|
comment:2 by , 10 years ago
The problem is we already have a discrepancy with the RPMs. They have been installing header files in $(prefix)/include/rasdaman since v8, while rasdaman installs them in $(prefix)/include
comment:3 by , 10 years ago
right - I had pointed to that when we started doing RPMs but was told by several folks "that this is the standard way to go".
Anyway, installers will always "see" just one way (RPM or not), and this must remain coherent in itself so that existing scripts still will compile without modification.
comment:4 by , 9 years ago
| Priority: | major → minor |
|---|
comment:5 by , 6 years ago
| Resolution: | → wontfix |
|---|---|
| Status: | new → closed |
Note:
See TracTickets
for help on using tickets.
as this is an incompatible change it is more of a long-term consideration (ie, v10). Similar thoughts apply to etc/ files, and lib/, and …
I was always opposing against this random distribution of files when an installation is not concentrated in /usr/local/rasdaman or similar.