Date: Tue, 10 Dec 1996 09:07:43 +0100
Message-Id: <199612100807.JAA03588@soleil.serma.cea.fr>
From: Basile STARYNKEVITCH <Basile.Starynkevitch@cea.fr>
To: caml-list@pauillac.inria.fr
Subject: Ocamlopt might output files in another directory!
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.
----------------------------------------------------------------------