Mercury Bugs - mercury
View Issue Details
0000292mercuryBugpublic2013-07-07 01:392013-07-12 01:36
Reporterurilabob 
Assigned Tojuliensf 
PrioritynormalSeveritymajorReproducibilityalways
StatusresolvedResolutionno change required 
PlatformlinuxOSfedoraOS Version19 (kernel 3.9.8
Product Version 
Target VersionFixed in Version 
Summary0000292: 'make install' fails on missing dependency (bryant.h) for robdd.m
DescriptionAttempting to install mercury-srcdist-13.05 fails because the make of robdd.m fails to find bryant.h. Doubtless it's a shell variable not set properly environment or something of that sort - but I haven't been able to figure out what. The final part of the transcript is attached.
Steps To Reproducesh configure
make
make install (which fails)
TagsNo tags attached.
Attached Filestxt make_install_transcript.txt (848) 2013-07-07 01:39
https://bugs.mercurylang.org/file_download.php?file_id=177&type=bug

Notes
(0000550)
juliensf   
2013-07-10 13:50   
I've tried doing the above with 13.05 on a newly created VM with Fedora 19 and cannot reproduce
the above problem. Are there any non-default settings in your environment or anything like that?
(0000552)
urilabob   
2013-07-11 00:43   
Hi Julien, thanks for looking at it. I can't think of any environment changes that I am making from the standard one that could possibly affect this. The only non-standard installs I have are JavaBayes, Jess (java expert systems environment), the lptp theorem prover (built on top of swi prolog), and the Vue topic map system. Actually, writing this down made me realise that lptp could have an implementation of robdds that could somehow conflict, but grepping robdd and bryant over it didn't turn up anything. Oh, and I'm using lxde window manager rather than gnome, but it would be pretty weird if there were name clashes there. In case you can see something I can't, I'm appending the printenv output at the bottom.

I thought it might be a hangover from the first failed attempt to build mercury, so I rolled the system back to before the initial mercury install, and tried again. I got exactly the same failure.

The only other thought I have is that the mercury sources are on a folder shared from the host. But I'm running the build as root, and root has full permissions on the folder, so I wouldn't have thought that could make a difference. If you think there's any possibility this could be the cause, I could try moving the source to the guest's root disk, just in case. Other than that, I'm stumped.



XDG_VTNR=1
XDG_SESSION_ID=105
HOSTNAME=localhost.localdomain
SAL_USE_VCLPLUGIN=gtk
IMSETTINGS_INTEGRATE_DESKTOP=yes
XDG_MENU_PREFIX=lxde-
SHELL=/bin/bash
TERM=xterm
HISTSIZE=1000
GNOME_KEYRING_CONTROL=/home/rim/.cache/keyring-2Jnk7U
QT_GRAPHICSSYSTEM_CHECKED=1
IMSETTINGS_MODULE=none
USER=rim
LS_COLORS=rs=0:di=01;34:ln=01;36:mh=00:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:mi=01;05;37;41:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arc=01;31:*.arj=01;31:*.taz=01;31:*.lha=01;31:*.lzh=01;31:*.lzma=01;31:*.tlz=01;31:*.txz=01;31:*.tzo=01;31:*.t7z=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.lrz=01;31:*.lz=01;31:*.lzo=01;31:*.xz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.war=01;31:*.ear=01;31:*.sar=01;31:*.rar=01;31:*.alz=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.cab=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.flv=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.cgm=01;35:*.emf=01;35:*.axv=01;35:*.anx=01;35:*.ogv=01;35:*.ogx=01;35:*.aac=01;36:*.au=01;36:*.flac=01;36:*.mid=01;36:*.midi=01;36:*.mka=01;36:*.mp3=01;36:*.mpc=01;36:*.ogg=01;36:*.ra=01;36:*.wav=01;36:*.axa=01;36:*.oga=01;36:*.spx=01;36:*.xspf=01;36:
DESKTOP_SESSION=LXDE
MAIL=/var/spool/mail/rim
PATH=/usr/local/bin:/bin:/usr/bin:/usr/local/sbin:/usr/sbin:/sbin:/home/rim/.local/bin:/home/rim/bin
QT_IM_MODULE=xim
PWD=/share/SW/LPTP
XMODIFIERS=@im=none
LANG=en_US.UTF-8
GNOME_KEYRING_PID=6118
HISTCONTROL=ignoredups
divider=10
_LXSESSION_PID=6121
SSH_ASKPASS=/usr/libexec/openssh/gnome-ssh-askpass
SHLVL=3
XDG_SEAT=seat0
HOME=/root
BOOT_IMAGE=/vmlinuz-3.9.8-300.fc19.x86_64
XDG_CONFIG_HOME=/home/rim/.config
LOGNAME=rim
DBUS_SESSION_BUS_ADDRESS=unix:abstract=/tmp/dbus-0TqbEFGzMQ,guid=9cc6be088e2b649c3aaa305851dd7061
PREFERRED=/usr/bin/startlxde
LESSOPEN=||/usr/bin/lesspipe.sh %s
DISPLAY=:0
XDG_RUNTIME_DIR=/run/user/1000
GTK_IM_MODULE=gtk-im-context-simple
XDG_CURRENT_DESKTOP=LXDE
XAUTHORITY=/root/.xauthZ65N3X
_=/bin/printenv
OLDPWD=/share/SW
(0000553)
urilabob   
2013-07-11 20:45   
Hi again, Julien. Well blow me down, use of the shared folder was the culprit. I copied the sources onto the guest's system disk (from the shared folder, so it wasn't due to file corruption), and it built correctly. I can't even begin to imagine what could cause this, but it's a near certainty that it's a deeply-buried virtualbox bug, rather than one in Mercury. Sorry for taking your time,
    Best Wishes
    Bob
(0000554)
juliensf   
2013-07-12 01:35   
That's ok, my time wasn't wasted since it gave me an opportunity to fix a problem with Mercury and GCC 4.8.

Issue History
2013-07-07 01:39urilabobNew Issue
2013-07-07 01:39urilabobFile Added: make_install_transcript.txt
2013-07-10 13:50juliensfNote Added: 0000550
2013-07-10 13:50juliensfAssigned To => juliensf
2013-07-10 13:50juliensfStatusnew => feedback
2013-07-11 00:43urilabobNote Added: 0000552
2013-07-11 00:43urilabobStatusfeedback => assigned
2013-07-11 20:45urilabobNote Added: 0000553
2013-07-12 01:35juliensfNote Added: 0000554
2013-07-12 01:36juliensfStatusassigned => resolved
2013-07-12 01:36juliensfResolutionopen => no change required