Opened 17 years ago

Closed 16 years ago

Last modified 16 years ago

#13911 closed defect (fixed)

TeXmacs should depend on texLive not teTeX

Reported by: james.sumners@… Owned by: gwright@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: TeXmacs teTeX texLive Cc:
Port:

Description

teTeX has been discontinued since May 2006 (see http://www.tug.org/tetex/). It seems that texLive is meant to be a replacement. In fact, Debian's TeXmacs package has replaced its teTeX dependency with a texLive dependency.

Attachments (1)

Portfile-TeXmacs.diff (898 bytes) - added by james.sumners@… 17 years ago.
Changes the dependency and removes patches that seem to be applied upstream.

Download all attachments as: .zip

Change History (8)

comment:1 Changed 17 years ago by jmpalacios (Juan Manuel Palacios)

Milestone: Port Bugs

comment:2 Changed 17 years ago by ryandesign (Ryan Carsten Schmidt)

Cc: gwright@… removed
Owner: changed from macports-tickets@… to gwright@…

Assigning to maintainer of TeXmacs.

comment:3 Changed 17 years ago by josh+macports@…

There is a ticket open for the general issue of changing teTeX dependencies to texlive ones: #12913

Changed 17 years ago by james.sumners@…

Attachment: Portfile-TeXmacs.diff added

Changes the dependency and removes patches that seem to be applied upstream.

comment:4 Changed 17 years ago by james.sumners@…

I have added a patch that changes the dependency. It also removes references to two patches that seem to be applied upstream, and fixes a path typo.

The new portfile works fine for me on OS 10.5 (Intel x86-64).

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

The dependency was changed in r34889, albeit to a port: dependency which doesn't allow for other TeX distributions. That just leaves the unnecessary patches.

comment:6 Changed 16 years ago by gwright@…

Resolution: fixed
Status: newclosed

The patches are not present in the upstream source (perhaps an already patched TeXmacs tree was checked). Closing with FIXED as the main issue (TeXlive) is resolved.

comment:7 Changed 16 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.