Ocamlopt might output files in another directory!

[Basile STARYNKEVITCH <Basile.Starynkevitch@cea.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2864 bytes --]


Hello All,

May I suggest that Ocaml could have the possibility to write all it
machine or system dependent files elsewhere?

I'm working in a multiplatform environnement. (We have Suns/SunOS5,
HPs/HPUX10, PC/Linux2 on the same network).

So, in C or related langages, I do like to put object and executable
files elsewhere. I'm using GNU make and just have to write in my
GNUmakefile



    ## the machine suffix
    ifndef MACHSUFFIX
    export MACHSUFFIX := $(shell $machsuffix)
    endif 

    ## the top source directory
    ifndef TOPDIR
    export TOPDIR := $(shell pwd)
    endif 

    ## MACHSUFFIX is "x86-linux" on PC/Linux, "sparc-sunos5" on
    ##    Sparc/SunOS5, "hppa-hpux10" on "HP/PA/HPUX10

    OBJDIR := $(HOME)/bin.$(MACHSUFFIX)/Objs

    vpath %.o $(OBJDIR)

    $(OBJDIR)/%.o:  %.c
	    $(COMPILE.c) $< $(OUTPUT_OPTION) 

    sed_depend_objcmd:= 1,$$s:\([a-zA-Z0-9_]*\.o\):\$$(OBJDIR)/\1:
    sed_depend_inccmd:= 1,$$s:\($(TOPDIR)\):\$$(TOPDIR):
    define sed_depend
     $(SED) -e '$(sed_depend_inccmd)' -e '$(sed_depend_objcmd)'
    endef 

    CSRCFILES = foo.c bar.c
    COBJFILES := $(patsubst %.c, $(OBJDIR)/%.o, $(CSRCFILES))

    DEPEND:=_depend.$(MACHSUFFIX).mk

    -include $(DEPEND)

    depend: 
	    date "+ Making depend at %D %T %n"
	    date "+## $(DEPEND) file generated on %e %b %Y at %R" > $(DEPEND)
	    $(CC) -MM $(CFLAGS) $(CPPFLAGS)  $(CSRCFILES) | $(sed_depend)  >> $(DEPEND)


    $(OBJDIR)/prog: $(COBJFILES)
	$(LINK.c) -o $@ $< $(LOADIBES)


So with this trick I always do make in the source directory, and,
depending of the machine, it build object and executable file in the
system dependent $(OBJDIR).

I would like to use a similar trick with ocamlopt. But this requires
that all system dependent files, include *.cmx and *.o, go elsewhere. -the -o
ocamlopt flags does not do the trick)

So I wish a -objdir flag to the ocaml driver which gives the output
directory!

More generally, I think that a compiler should be able to compile in a
directory in which it just have read, not write, permissions.


I believe these changes are easy to fix -in
ocaml-1.03/driver/{compile,compileopt}.ml- I might even do them if
some people (besides myself) are interested!



N.B. Any opinions expressed here are solely mine, and not of my organization.
N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA.


----------------------------------------------------------------------
Basile STARYNKEVITCH   ----  Commissariat à l Energie Atomique 
DRN/DMT/SERMA * CEA/Saclay bat.470 * 91191 GIF/YVETTE CEDEX * France
fax: (33) 01,69.08.85.68; phone: 01,69.08.40.66; home: 01,46.65.45.53
email: Basile . Starynkevitch @ cea . fr  (but remove white space)
I speak french, english, russian. Je parle français, anglais, russe.
----------------------------------------------------------------------