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]














Reply via email to