You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3731 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Martin Steffen
Version: 3.08.3
OS: Solaris
Submission from: obelix.informatik.uni-kiel.de (134.245.248.199)
the compilation from source breaks.
./configure works fine
make world
breaks, more specifically in otherlibs/graphs. The error message is:
Entering directory /home/provers/src/ocaml-3.08.3/otherlibs/graph' make[1]: *** No rule to make target /usr/X11R6/include/X11/Xlib.h', needed by
`open.o'. Stop.
The reason seems to be as follows: in the tar-ball, there's a file
otherlibs/graphs/.depend
the dependencies reported there do not match my system (as can be seen
in the above error message.
It seems that the .depend-file is not update by the makefiles or whereever it
should be updated.
Here's a ``makeshift'' solution that at least let the compilation run through
after the central make world exits, do
cd otherlibs/graph
make depend
make (***)
cd ../.. (go back to top level)
make wolrd (continue and pray)
(actually, it continues to compile, but (***) produces a lot of warnings looking
all like
/opt/X11R5/include/X11/Xlib.h:3438: warning: type defaults to int' in declaration of XSelectInput'
Martin
The text was updated successfully, but these errors were encountered:
Original bug ID: 3731
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Martin Steffen
Version: 3.08.3
OS: Solaris
Submission from: obelix.informatik.uni-kiel.de (134.245.248.199)
the compilation from source breaks.
./configure works fine
make world
breaks, more specifically in otherlibs/graphs. The error message is:
Entering directory
/home/provers/src/ocaml-3.08.3/otherlibs/graph' make[1]: *** No rule to make target
/usr/X11R6/include/X11/Xlib.h', needed by`open.o'. Stop.
The reason seems to be as follows: in the tar-ball, there's a file
the dependencies reported there do not match my system (as can be seen
in the above error message.
It seems that the .depend-file is not update by the makefiles or whereever it
should be updated.
Here's a ``makeshift'' solution that at least let the compilation run through
after the central make world exits, do
(actually, it continues to compile, but (***) produces a lot of warnings looking
all like
/opt/X11R5/include/X11/Xlib.h:3438: warning: type defaults to
int' in declaration of
XSelectInput'Martin
The text was updated successfully, but these errors were encountered: