Date:	Mon, 20 Mar 1995 16:35:11 -0500 (EST)
From:	"Michael J. Ferguson" <mike AT inrs-telecom DOT uquebec DOT ca>
Subject:	Linker problems ...
To:	djgpp AT sun DOT soe DOT clarkson DOT edu

I am trying to port Holzmann's Spin package to my PC. I have had a few
problems that for the msot part I have finessed but would like a neater
solution, if at all possible. The most serious has to do witht he linker
and multiple definitions. Holzmann defines his own malloc. The linker
refuses to write any files, although it does note that the malloc was
first defined in the program. Holzmann also adds dummy definitions for
realalloc and free to fool SysV libc from including multiple references.
However, I still get the multiple references. I have removed Holzmann's
malloc but would liek to put it back.

I also have trouble with tmp file names and the use of tmpname ... i get
invalid paths --- the actual path given is the path to the tmp directory,
with \ rpelaced by /, but it seems to be interpreted as fielname relative
to the current path.

Thanks,

Michael Ferguson


        ----------------------------------------------------------
Prof. Michael J. Ferguson            Tel: (514) 765-7834
INRS-Telecommunications              FAX: (514) 761-8501
Univ. du Quebec                      Email: mike AT vimy DOT inrs-telecom DOT uquebec DOT ca
16 Place du Commerce                 Home: (514) 486-3059
Verdun, Quebec H3E 1H6
Canada

- Raw text -