A couple of questions

[Gabor Szokoli]

From: "Denys Duchier" <Denys.Duchier at ps.uni-sb.de>

> > {FS.card M 1} {FS.include D M}
> > Are the two domain-variable-like-things unified or is there a
> > propagator doing the work?
>
> No, because (internally) the cardinality of a set is not explicitly
> represented by a FD variable, but simply by its bounds.

Well, this pretty much implies the answer to what I really asked...
:-)
It was about a single-element (cardinality=1) set, and its upperBound
tied to an FD variable, unless my 1-line-code is wrong :-)

> I could not decipher question 2, sorry :-)

It assumed a yes to the first question, so don't bother :-)

> > I have managed to compile the whole Mozart system on w2k, except
for
> > the Investigator (its Reflection package).
>
> what's the problem? if you give me some data, I'll see if I can
hazard
> a guess :-)

I was just asking for encouragement, but if you insist :-)
w2k, latest cygwin:
I started from mozart-1.2.3.20011221-src.tar.gz,
followed http://www.mozart-oz.org/home-1.2.3/doc/cygwin/ step by step.

bash-2.05a$
/d/temp/nlp/src/configure --with-inc-dir=$PACKAGES/include --with-lib-
dir=$PACKAGES/lib --with-tcl=$PACKAGES --with-tk=$PACKAGES --disable-c
ontrib-compat --disable-contrib-micq --with-stdlib=/d/temp/nlp/std --e
nable-contrib-reflect

During "make bootstrap" it looks like I can not link against
emulator.dll:

d:/temp/nlp/build/platform/mswindows/oztool.exe ld -o
reflect.so-win32-i486 reflect.o builtins.o reflect_prop.o
reflect_var.o reflect_space.o -L/d/temp/nlp/packages/lib
builtins.o(.text+0x280):builtins.cc: undefined reference to
`typeError(int, char *, char *)'
builtins.o(.text+0x32c):builtins.cc: undefined reference to
`oz_addSuspendVarList(unsigned int *)'
...
(see attachment for more)

I think I'd need to pass -R emulator.dll to ld, but I don't know how
to do that through 'oztool ld'.

I also tried compiling the "reflect" and "investigator" contribs
against a binary installation, but reflect.hh has includes from the
emulator source, not only "mozart.h":
(this is what I want to do originally)
#include "var_bool.hh"

#include "var_fd.hh"

#include "var_fs.hh"

#include "var_ct.hh"

#include "var_simple.hh"

#include "prop_int.hh"

#include "cpi.hh"


Totally unrelated, I started a source installation on an old linux and
configure sais:
...
checking whether .align is multiple... no
checking whether .align is power of 2... no
checking alignment of secondary tag for const terms... configure:
error: Aargh... alignment conditions for secondary tags are not
satisfied on your platform/compiler combination
...

Could it be that the gcc is ancient?
Would a gcc upgrade fix this?

[szocske at micc /proc]$ gcc -v
Reading specs from
/usr/lib/gcc-lib/i386-redhat-linux/egcs-2.91.66/specs
gcc version egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)

[szocske at micc /proc]$ cat version
Linux version 2.2.14-5.0 (root at porky.devel.redhat.com) (gcc version
egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)) #1 Tue Mar 7
21:07:39 EST 2000
[szocske at micc /proc]$ cat cpuinfo
processor       : 0
vendor_id       : GenuineIntel
cpu family      : 6
model           : 6
model name      : Celeron (Mendocino)
stepping        : 5
cpu MHz         : 467.736071
cache size      : 128 KB
fdiv_bug        : no
hlt_bug         : no
sep_bug         : no
f00f_bug        : no
coma_bug        : no
fpu             : yes
fpu_exception   : yes
cpuid level     : 2
wp              : yes
flags           : fpu vme de pse tsc msr pae mce cx8 sep mtrr pge mca
cmov pat pse36 mmx fxsr
bogomips        : 466.94


-------------- next part --------------
builtins.o(.text+0x280):builtins.cc: undefined reference to `typeError(int, char
 *, char *)'
builtins.o(.text+0x32c):builtins.cc: undefined reference to `oz_addSuspendVarLis
t(unsigned int *)'
builtins.o(.text+0x666):builtins.cc: undefined reference to `_StaticNameTable'
builtins.o(.text+0x66d):builtins.cc: undefined reference to `_StaticNameTable'
builtins.o(.text+0x8ca):builtins.cc: undefined reference to `_StaticNameTable'
builtins.o(.text+0x91f):builtins.cc: undefined reference to `_StaticNameTable'
builtins.o(.text+0x935):builtins.cc: undefined reference to `_StaticNameTable'
builtins.o(.text+0xa4a):builtins.cc: more undefined references to `_StaticNameTa
ble' follow
builtins.o(.text+0x1302):builtins.cc: undefined reference to `oz_propGetName(Pro
pagator *)'
builtins.o(.ExpectOnly::text$getSuspVar(void)+0xc):builtins.cc: undefined refere
nce to `staticSuspendVarsNumber'
builtins.o(.ExpectOnly::text$getSuspVar(void)+0x1d):builtins.cc: undefined refer
ence to `staticSuspendVarsNumber'
builtins.o(.ExpectOnly::text$getSuspVar(void)+0x22):builtins.cc: undefined refer
ence to `staticSuspendVarsNumber'
builtins.o(.ExpectOnly::text$getSuspVar(void)+0x28):builtins.cc: undefined refer
ence to `staticSuspendVars'
builtins.o(.PropagatorReference::text$activate(void)+0x19):builtins.cc: undefine
d reference to `am'
builtins.o(.PropagatorReference::text$activate(void)+0x2d):builtins.cc: undefine
d reference to `Suspendable::_wakeup_outline(Board *, PropCaller)'
reflect_prop.o(.PropagatorReference::text$sCloneRecurseV(void)+0x19):reflect_pro
p.cc: undefined reference to `Suspendable::sCloneSuspendable(void)'
reflect_prop.o(.PropagatorReference::text$gCollectRecurseV(void)+0x19):reflect_p
rop.cc: undefined reference to `Suspendable::gCollectSuspendable(void)'
reflect_var.o(.text+0xbad):reflect_var.cc: undefined reference to `oz_varGetName
(unsigned int)'
reflect_var.o(.text$oz_check_var_status(OzVariable *)  +0x31):reflect_var.cc: un
defined reference to `_var_check_status(OzVariable *)'
reflect_space.o(.text+0x5d1):reflect_space.cc: undefined reference to `oz_propGe
tName(Propagator *)'
reflect_space.o(.text+0x14d3):reflect_space.cc: undefined reference to `oz_varGe
tName(unsigned int)'
reflect_space.o(.text$oz_int(int)+0x25):reflect_space.cc: undefined reference to
 `newBigInt(int)'
reflect_space.o(.text$_$_t10TableClass1ZPUi+0x14):reflect_space.cc: undefined re
ference to `AddressHashTable::~AddressHashTable(void)'
reflect_space.o(.TableClass<unsigned int *>::text$add(unsigned int *, int &)+0x1
8):reflect_space.cc: undefined reference to `AddressHashTable::htFind(long)'
reflect_space.o(.TableClass<unsigned int *>::text$add(unsigned int *, int &)+0x5
9):reflect_space.cc: undefined reference to `AddressHashTable::htAdd(long, void
*)'
reflect_space.o(.text$_$_t10TableClass1ZP10Propagator+0x14):reflect_space.cc: un
defined reference to `AddressHashTable::~AddressHashTable(void)'
reflect_space.o(.TableClass<Propagator *>::text$add(Propagator *, int &)+0x18):r
eflect_space.cc: undefined reference to `AddressHashTable::htFind(long)'
reflect_space.o(.TableClass<Propagator *>::text$add(Propagator *, int &)+0x59):r
eflect_space.cc: undefined reference to `AddressHashTable::htAdd(long, void *)'
reflect_space.o(.TableClass<Propagator *>::text$reflected(Propagator *)   +0x14)
:reflect_space.cc: undefined reference to `AddressHashTable::htFind(long)'
reflect_space.o(.TableClass<Propagator *>::text$reflected(Propagator *)   +0x2a)
:reflect_space.cc: undefined reference to `AddressHashTable::htAdd(long, void *)
'
reflect_space.o(.TableClass<unsigned int *>::text$reflected(unsigned int *)+0x14
):reflect_space.cc: undefined reference to `AddressHashTable::htFind(long)'
reflect_space.o(.TableClass<unsigned int *>::text$reflected(unsigned int *)+0x2a
):reflect_space.cc: undefined reference to `AddressHashTable::htAdd(long, void *
)'
reflect_space.o(.TableClass<unsigned int *>::text$(void)+0x24):reflect_space.cc:
 undefined reference to `AddressHashTable::AddressHashTable(int)'
reflect_space.o(.TableClass<unsigned int *>::text$(void)+0xa7):reflect_space.cc:
 undefined reference to `AddressHashTable::~AddressHashTable(void)'
reflect_space.o(.TableClass<Propagator *>::text$(void)+0x24):reflect_space.cc: u
ndefined reference to `AddressHashTable::AddressHashTable(int)'
reflect_space.o(.TableClass<Propagator *>::text$(void)+0xa7):reflect_space.cc: u
ndefined reference to `AddressHashTable::~AddressHashTable(void)'
reflect_space.o(.Stack::text$ensureFree(int)+0x29):reflect_space.cc: undefined r
eference to `Stack::resize(int)'
reflect_space.o(.FL_Manager::text$alloc(unsigned int)+0x31):reflect_space.cc: un
defined reference to `FL_Manager::smmal'
reflect_space.o(.FL_Manager::text$alloc(unsigned int)+0x5c):reflect_space.cc: un
defined reference to `FL_Manager::smmal'
reflect_space.o(.FL_Manager::text$alloc(unsigned int)+0x6d):reflect_space.cc: un
defined reference to `FL_Manager::refill(void)'
reflect_space.o(.FL_Manager::text$free(void *, unsigned int)+0x1b):reflect_space
.cc: undefined reference to `FL_Manager::large'
reflect_space.o(.FL_Manager::text$free(void *, unsigned int)+0x30):reflect_space
.cc: undefined reference to `FL_Manager::large'
reflect_space.o(.FL_Manager::text$free(void *, unsigned int)+0x4b):reflect_space
.cc: undefined reference to `FL_Manager::smmal'
reflect_space.o(.FL_Manager::text$free(void *, unsigned int)+0x6c):reflect_space
.cc: undefined reference to `FL_Manager::smmal'
reflect_space.o(.text$oz_heapMalloc(unsigned int)+0x1a):reflect_space.cc: undefi
ned reference to `_oz_heap_cur'
reflect_space.o(.text$oz_heapMalloc(unsigned int)+0x1f):reflect_space.cc: undefi
ned reference to `_oz_heap_end'
reflect_space.o(.text$oz_heapMalloc(unsigned int)+0x25):reflect_space.cc: undefi
ned reference to `_oz_heap_cur'
reflect_space.o(.text$oz_heapMalloc(unsigned int)+0x33):reflect_space.cc: undefi
ned reference to `_oz_getNewHeapChunk(unsigned int)'
reflect_space.o(.text$oz_heapMalloc(unsigned int)+0x3e):reflect_space.cc: undefi
ned reference to `_oz_heap_cur'