Sergey:
: I have a question on how to direct the *.hi, *.o files into the given
: directory $(E).
: I set $($*_flags) in the compilation options and set the lines of
: kind
: matr/VecMatr_flags = -ohi $(E)/VecMatr.hi
: lin/LinAlg_flags = -ohi $(E)/LinAlg.hi
: ...
: into Makefile. These lines being so numerous, is there any shorter way
: to redirect these things?
: ( <directoryPath>/<name>.hs --> $(E)/<name>.o, $(E)/<name>.hi )
Use sed?
sed -e 's/.*\([^\/][^\/]*\)\.hs/$(E)\/\1.o, $(E)\/\1.hi/'
Regards,
Marc van Dongen
