I asked earlier how to replace in Makefile many lines of kind
source/Categs_flags = -ohi $(E)/Categs.hi
source/auxil/Set__flags = -ohi $(E)/Set_.hi
...
(processed by the $($*_flags) compilation key)
with something short.
Thanks to Marc Van Dongen, Simon Marlow, Sigbjorn Finne
for the advices.
Sigbjorn Finne writes
> If you're using GNU make I'd simply add
>
> SRC_HC_OPTS += -ohi $(E)/$*.hi
I found that it does almost what is needed.
Only it has to be corrected to -ohi $(E)/$(notdir $*).hi
Thanks.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]