On Jun 27, 2007, at 06:33, Dimitri Hendriks wrote:

I just installed Macports, version 1.442. The first port I want to install, fails to build. Here's the output:

$ sudo port install coq ---> Fetching ocaml ---> Attempting to fetch ocaml-3.10.0.tar.bz2 from http:// caml.inria.fr/pub/distrib/ocaml-3.10/ ---> Verifying checksum(s) for ocaml ---> Extracting ocaml ---> Configuring ocaml ---> Building ocaml with target world.opt ---> Staging ocaml into destroot ---> Installing ocaml 3.10.0_0 ---> Activating ocaml 3.10.0_0 ---> Cleaning ocaml ---> Fetching coq Error: No defined site for tag: coq, using master_sites ---> Attempting to fetch coq-8.1.tar.gz from ftp://ftp.inria.fr/ INRIA/coq/V8.1/ ---> Verifying checksum(s) for coq ---> Extracting coq ---> Configuring coq ---> Building coq with target world Error: Target com.apple.build returned: shell command " cd "/opt/ local/var/db/dports/build/ _Volumes_Users_opt_local_var_db_dports_sources_rsync.rsync.darwinports .org_dpupdate_dports_lang_coq/work/coq-8.1" && make world " returned error 2 Command output: OCAMLC config/coq_config.mli OCAMLOPT config/coq_config.ml ECHO... > scripts/tolink.ml OCAMLOPT scripts/tolink.ml OCAMLOPT scripts/coqmktop.ml OCAMLOPT -o bin/coqmktop.opt cd bin; ln -sf coqmktop.opt coqmktop OCAMLC lib/pp_control.mli OCAMLOPT lib/pp_control.ml OCAMLC lib/pp.mli OCAMLOPT4 lib/pp.ml4 OCAMLOPT lib/compat.ml4 Camlp4: Uncaught exception: DynLoader.Error ("pa_ifdef.cmo", "file not found in path")

Preprocessor error make: *** [lib/compat.cmx] Error 2

Error: Status 1 encountered during processing.

So this is a problem with coq, not ocaml. Since Emmanuel has provided insight on why this is, I'll skip ahead to the next question:

I also tried to install port xfig, but again without succes:

$ sudo port install xfig Password: ---> Fetching Xaw3d ---> Attempting to fetch Xaw3d-1.5E.tar.gz from ftp://ftp.visi.com/ users/hawkeyd/X/ ---> Verifying checksum(s) for Xaw3d ---> Extracting Xaw3d ---> Configuring Xaw3d ---> Building Xaw3d with target all ---> Staging Xaw3d into destroot ---> Installing Xaw3d 1.5E_0 ---> Activating Xaw3d 1.5E_0 Error: Target com.apple.activate returned: Image error: /usr/X11R6/ include/X11/Xaw3d/AllWidgets.h already exists and does not belong to a registered port. Unable to activate port Xaw3d. Error: The following dependencies failed to build: Xaw3d ghostscript jpeg libpng zlib transfig netpbm jasper tiff Error: Status 1 encountered during processing.

This is a problem with Xaw3d, not xfig. I do not have /usr/X11R6/ include/X11/Xaw3d/AllWidgets.h on my system, but you apparently do. Perhaps you had MacPorts installed before, had Xaw3d installed with it before, you removed MacPorts, and then reinstalled MacPorts, and now it's finding bits that were left behind? Or perhaps you had Xaw3d installed before without MacPorts which it's now colliding with? Either way, you could probably safely force the install of Xaw3d to get it to overwrite any files it finds: sudo port -nf install Xaw3d

On 29 Jun 2007, at 01:54, Ryan Schmidt wrote:

On Jun 27, 2007, at 06:33, Dimitri Hendriks wrote: [...]

...

I also tried to install port xfig, but again without succes:

$ sudo port install xfig Password: ---> Fetching Xaw3d ---> Attempting to fetch Xaw3d-1.5E.tar.gz from ftp:// ftp.visi.com/users/hawkeyd/X/ ---> Verifying checksum(s) for Xaw3d ---> Extracting Xaw3d ---> Configuring Xaw3d ---> Building Xaw3d with target all ---> Staging Xaw3d into destroot ---> Installing Xaw3d 1.5E_0 ---> Activating Xaw3d 1.5E_0 Error: Target com.apple.activate returned: Image error: /usr/X11R6/ include/X11/Xaw3d/AllWidgets.h already exists and does not belong to a registered port. Unable to activate port Xaw3d. Error: The following dependencies failed to build: Xaw3d ghostscript jpeg libpng zlib transfig netpbm jasper tiff Error: Status 1 encountered during processing.

This is a problem with Xaw3d, not xfig. I do not have /usr/X11R6/ include/X11/Xaw3d/AllWidgets.h on my system, but you apparently do. Perhaps you had MacPorts installed before, had Xaw3d installed with it before, you removed MacPorts, and then reinstalled MacPorts, and now it's finding bits that were left behind? Or perhaps you had Xaw3d installed before without MacPorts which it's now colliding with? Either way, you could probably safely force the install of Xaw3d to get it to overwrite any files it finds:

sudo port -nf install Xaw3d

I tried this and xfig then installs fine, but I now get the same problem as reported earlier: http://lists.macosforge.org/pipermail/macports-users/2007-April/ 002746.html and: http://lists.macosforge.org/pipermail/macports-users/2007-June/ 003917.html In the same thread it is suggested to build xfig without Xaw3d. Is this a good idea? If so, can someone tell me how to do that or add some explanantion to: You should find out which configure flag for building xfig is required to disable the use of Xaw3d (is xfig using configure or still imake/xmkmf?) and add it to configure-args.append. Thanks, Dimitri

On Jul 23, 2007, at 08:59, Dimitri Hendriks wrote:

How do I install an older version of a port? I want to have ocaml version 3.08, see below why.

On 28 Jun 2007, at 10:26, Emmanuel Hainry wrote:

...

ocaml has built fine, but coq has not: with the release of ocaml3.10, lots of things have changed, particularly in camlp4 (which is the culprit here) and most complex dependents of ocaml don't build anymore. That is why cautious distributions (debian, pkgsrc..., opposed to gentoo for example) have not upgraded ocaml yet.

See this previous post: http://lists.macosforge.org/pipermail/macports-users/2007-July/ 004452.html

Hi Stefan, Thanks a lot for you help so far. Unfortunately, the commands you give seem not work for me. Possibly, I have overlooked something. First, a question: if I do sudo port -v extract xfig I get no message or whatsoever, just a new prompt; is that OK? Then, I try: cd `port dir xfig`/work/xfig.3.2.5/ but this fails, there is no such directory: `port dir xfig` expands to /opt/local/var/macports/sources/rsync.macports.org/release/ports/ graphics/xfig and in there there is an empty dir "work" (to be precise there is one empty file ".macports.xfig.state"), so no dir xfig.3.2.5. Do you know what to try next? Thanks again, Dimitri On 24 Jul 2007, at 05:04, Stefan Bruda wrote:

There does not seem to be possible to use the portfile for this purpose, though a patch could be written and applied by the portfile. Being lazy and lacking time, what I did instead is:

port -v extract xfig cd `port dir xfig`/work/xfig.3.2.5/ vi Imakefile # search for: #define XAW3D # comment (XCOMM) the just found line port -v install xfig

I also edited the port:

vi `port file xfig`

and I eliminated the dependency of port:Xaw3d. This is not theoretically necessary but is correct given that I just eliminated the actual Xaw3d dependency.

BY the way, did anybody notice that upgrading Xaw3d to 1.5E_1 breaks quite badly other things such as xemacs and gv? Any suggestions on what could be done about this one?

...

This sounds like a matter for the maintainer of the xfig port, whom I'm Cc'ing on this email.

I believe that Xaw3D is the overall culprit, so the dependency should be removed (and the Imakefile patched accordingly) until the issue is fixed.

Cheers, Stefan

On Jul 24, 2007, at 02:48, Dimitri Hendriks wrote:

On 24 Jul 2007, at 00:01, Ryan Schmidt wrote:

...

On Jul 23, 2007, at 08:59, Dimitri Hendriks wrote:

...

How do I install an older version of a port? I want to have ocaml version 3.08, see below why.

On 28 Jun 2007, at 10:26, Emmanuel Hainry wrote:

...

ocaml has built fine, but coq has not: with the release of ocaml3.10, lots of things have changed, particularly in camlp4 (which is the culprit here) and most complex dependents of ocaml don't build anymore. That is why cautious distributions (debian, pkgsrc..., opposed to gentoo for example) have not upgraded ocaml yet.

See this previous post:

http://lists.macosforge.org/pipermail/macports-users/2007-July/ 004452.html

Sorry, I'm a newbie and I don't know how to look up "macports changeset ocaml 3.09 corresponds to" at the url given in this post.

I also found another related post:

http://lists.macosforge.org/pipermail/macports-users/2007-April/ 002745.html

but again I don't know what to do to "find the source of the old portfile" in the repository browser.

The repo browser is here: http://trac.macosforge.org/projects/macports/browser/ Get to the dports [1] part of the repository; this is the ports tree: http://trac.macosforge.org/projects/macports/browser/trunk/dports Using "port info ocaml" or "port dir ocaml" or "port file ocaml", discover that ocaml is in the "lang" category, and that the portfile is therefore available here: http://trac.macosforge.org/projects/macports/browser/trunk/dports/ lang/ocaml/Portfile Click "Revision Log" in the upper right to see all the changes that have ever been made to that file: http://trac.macosforge.org/projects/macports/log/trunk/dports/lang/ ocaml/Portfile You can see that the revision that upgraded the port to 3.10.0 was 25800, so if you want 3.09.x, grab the revision before that by clicking "@23986": http://trac.macosforge.org/projects/macports/browser/trunk/dports/ lang/ocaml/Portfile?rev=23986 Click "Original Format" at the bottom of the page to get the raw Portfile code in a format that you can download to disk. [1] "dports" stands for "DarwinPorts", the old name of the MacPorts project. This may eventually get renamed "mports" or just "ports".

Stefan and Ryan, Thanks a lot for your help! I finally have what I wanted: ocaml 3.08 to build coq and a working xfig. A request for the maintainer of the coq port: can you add coqide? Best, Dimitri On 24 Jul 2007, at 14:07, Stefan Bruda wrote:

Hi,

Dimitri Hendriks wrote:

...

Thanks a lot for you help so far. Unfortunately, the commands you give seem not work for me. Possibly, I have overlooked something.

It's me who I overlooked two things actually. The first one is that all the commands I mentioned shoudl be given as root. So you are correct in putting the sudos in front.

...

First, a question: if I do

sudo port -v extract xfig

I get no message or whatsoever, just a new prompt; is that OK?

That's probably the second thing I forgot to mention, you need to uninstall and clean the xfig first, and thisis probably the reason that the above command does nothing. So try a

sudo port uninstall xfig sudo port clean xfig

I hope it works now.

Stefan