Opened 15 years ago

Closed 15 years ago

Last modified 15 years ago

#17659 closed submission (fixed)

mosml 2.01_0 - added dynamic library bindings

Reported by: ian.grant@… Owned by: cso@…
Priority: Normal Milestone:
Component: ports Version: 1.7.0
Keywords: Cc:
Port: mosml mosml-dynlibs

Description

I have made a port of the Moscow ML dynamic libraries: intinf, crypt, munix, mregex, msocket, mgdbm, mgd on MacOS X. It requires a small change to the current mosml port. Attached is a diff of the Portfile change and a new patch (which is needed by both ports), as well as a Portfile for the new mosml-dynlibs port.

Since the mosml-dynlibs port requires the patched mosml port I guess the mosml-dynlibs port should be made to depend on the newer mosml so people with the older mosml will be forced to upgrade to the newer before adding mosml-dynlibs. But I don't know how to specify the port version in a dependency. Is this possible?

Attachments (4)

patch-src-dynlibs.diff (6.0 KB) - added by ian.grant@… 15 years ago.
Patch for mosml and new mosml-dynlibs port
Portfile-lang-mosml-dynlibs (1.1 KB) - added by ian.grant@… 15 years ago.
Portfile for new mosml-dynlibs ports. This requires the same soures and patches as the mosml port.
Portfile-lang-mosml.2.diff (1.2 KB) - added by ian.grant@… 15 years ago.
Newer Portfile diff to fix a bug in the original
Portfile-lang-mosml.diff (1.2 KB) - added by ian.grant@… 15 years ago.
Newer Portfile diff to fix a bug in the original

Download all attachments as: .zip

Change History (10)

Changed 15 years ago by ian.grant@…

Attachment: patch-src-dynlibs.diff added

Patch for mosml and new mosml-dynlibs port

Changed 15 years ago by ian.grant@…

Attachment: Portfile-lang-mosml-dynlibs added

Portfile for new mosml-dynlibs ports. This requires the same soures and patches as the mosml port.

comment:1 Changed 15 years ago by mf2k (Frank Schima)

Owner: changed from macports-tickets@… to cso@…
Port: mosml mosml-dynlibs added

Changed 15 years ago by ian.grant@…

Attachment: Portfile-lang-mosml.2.diff added

Newer Portfile diff to fix a bug in the original

Changed 15 years ago by ian.grant@…

Attachment: Portfile-lang-mosml.diff added

Newer Portfile diff to fix a bug in the original

comment:2 Changed 15 years ago by ian.grant@…

I have just changed the Portfile patch for mosml to include a fix for a problem in the original port where a symbolic link was left in ${prefix}/bin pointing to file in the destroot staging tree.

comment:3 Changed 15 years ago by mf2k (Frank Schima)

Maintainer timeout. I updated mosml in r44443. I'm not able to build mosml-dynlibs, however, due to a bug installing gd2. See #17808.

comment:4 Changed 15 years ago by mf2k (Frank Schima)

Resolution: fixed
Status: newclosed

I added mosml-dynlibs in r44565. Thanks for the contribution! I set the maintainer to nomaintainer because it is not clear that the mosml maintainer is active and wants to maintain this port.

BTW, there is currently no way to specify a port version in a dependency.

comment:5 Changed 15 years ago by jmroot (Joshua Root)

Type: enhancementsubmission

comment:6 Changed 15 years ago by (none)

Milestone: Port Submissions

Milestone Port Submissions deleted

Note: See TracTickets for help on using tickets.