mdk 1.2.1_11 lang =3

A set of utilities for developing programs using MIX and MIXAL

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
Port Added: 02 Apr 2001 03:01:24
Also Listed In: gnome
License: not specified in port

---

---

MIX is Donald Knuth's mythical computer as described in his monumental work
The Art Of Computer Programming. As any of its real counterparts, the MIX
features registers, memory cells, an overflow toggle, comparison flags,
input-output devices, and a set of binary instructions executable by its
virtual CPU. You can programme the MIX using an assembly language called
MIXAL, the MIX Assembly Language. 

The MIX Development Kit offers an emulation of MIX and MIXAL. The current
version of MDK includes the following applications: 

   - mixasm A MIXAL compiler, which translates your source files into binary
     ones, executable by the MIX virtual machine. 
   - mixvm A MIX virtual machine which is able to run and debug compiled MIXAL
     programs, using a command line interface with readline's line editting
     capabilities. 
   - gmixvm A MIX virtual machine with a GTK+ GUI which allows you running and
     debugging your MIXAL programs through a nice graphical interface.
   - mixvm.el An elisp program which allows you to run mixvm within an Emacs
     GUD window, simultaneously viewing your MIXAL source file in another
     buffer. 

WWW: http://www.gnu.org/software/mdk/mdk.html

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: textproc/intltool, devel/pkg-config
Required To Run: devel/pkg-config, devel/gio-fam-backend
Required Libraries: lang/guile, devel/readline, accessibility/atk, devel/glib20, x11-toolkits/gtk20, devel/libglade2, textproc/libxml2, x11-toolkits/pango
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/lang/mdk/ && make install clean
To add the package: pkg_add -r mdk

---

Configuration Options

     No options to configure

---

Master Sites:

http://ftp.gnu.org/gnu/mdk/v1.2.1/

ftp://ftp.gnu.org/gnu/mdk/v1.2.1/

http://www.gtlib.cc.gatech.edu/pub/gnu/gnu/mdk/v1.2.1/

http://mirrors.usc.edu/pub/gnu/mdk/v1.2.1/

ftp://ftp.kddlabs.co.jp/GNU/mdk/v1.2.1/

ftp://ftp.dti.ad.jp/pub/GNU/mdk/v1.2.1/

http://ring.nict.go.jp/archives/GNU/mdk/v1.2.1/

ftp://ftp.mirrorservice.org/sites/ftp.gnu.org/gnu/mdk/v1.2.1/

ftp://ftp.informatik.hu-berlin.de/pub/gnu/gnu/mdk/v1.2.1/

ftp://ftp.informatik.rwth-aachen.de/pub/mirror/ftp.gnu.org/pub/gnu/mdk/v1.2.1/

http://ftp.funet.fi/pub/gnu/prep/mdk/v1.2.1/

http://heanet.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://sunet.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://iweb.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://switch.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://surfnet.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://kent.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://freefr.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://voxel.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://jaist.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://osdn.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://nchc.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://ncu.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://transact.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://softlayer.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://internode.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://ufpr.dl.sourceforge.net/project/mdk/mdk/1.2.1/

http://waix.dl.sourceforge.net/project/mdk/mdk/1.2.1/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

- Return my ports back to the pool.  I was unable to make any fixes to
  my ports in the past 3 weeks while ports were broken on any 10.x
  machines, which means I'm unable to maintain them.  So let people know
  that there's no available support for them until things are back to
  normal (which also means that anyone with spare time will be able
  to fix them without getting approval).

- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:             157936
Submitted by:   myself
Exp-runs by:    pav
Approved by:    pav

Remove USE_GNOME=gnometarget from ports. It has been a empty keyword since
mid 2008.

PR:             ports/159624
Submitted by:   Ruslan Mahmatkhanov <cvs-src@yandex.ru>

- Chase guile shared lib bump
- Add an entry to UPDATING

- remove MD5

- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi

- update to jpeg-8

- Switch SourceForge ports to the new File Release System: categories starting
with H,I,J,K,L

- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin

- Chase readline update

Reported by:    pointyhat

- Chase lang/guile shlib bump

- Chase lang/guile share library version bump (.18 -> .19)
- Bump PORTREVISION

PR:             ports/125435

Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)

- Remove unneeded dependency from gtk12/gtk20 [1]
- Remove USE_XLIB/USE_X_PREFIX/USE_XPM in favor of USE_XORG
- Remove X11BASE support in favor of LOCALBASE or PREFIX
- Use USE_LDCONFIG instead of INSTALLS_SHLIB
- Remove unneeded USE_GCC 3.4+

Thanks to all Helpers:
        Dmitry Marakasov, Chess Griffin, beech@, dinoex, rafan, gahr,
        ehaupt, nox, itetcu, flz, pav

PR:             116263
Tested on:      pointyhat
Approved by:    portmgr (pav)

- Remove USE_GETOPT_LONG which is a no-op since March 2007

Chase libguile shared lib version.

Presenting GNOME 2.20.1 and all related works for FreeBSD.  The official
GNOME 2.20 release notes can be found at
http://www.gnome.org/start/2.20/notes/en/ .  Beyond that, this update
includes the new GIMP 2.4 (courtesy of ahze).

The GNOME 2.20 update also includes a huge change in the FreeBSD GNOME
hierarchy.  We are now using the more standard DATADIR of ${PREFIX}/share
rather than ${PREFIX}/share/gnome. The result is that fewer patches and
hacks are needed to port GNOME components to FreeBSD.  This will mean some
user changes may be required, so be sure to read /usr/ports/UPDATING for
more details.

This release and the things we accomplished in it would not have been
possible without mezz's crazy idea to collapse DATADIR, and his persistence
to make it happen successfully.  Ahze and pav also deserve thanks for

Remove always-false/true conditions based on OSVERSION 500000

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

- Change my email.

Suggested by:   skv

- Update to 1.2.1
- Pass maintainership to submitter
- BROKEN: Does not build on 4.X

PR:             ports/100727
Submitted by:   Stanislav Sedov <ssedov(at)mbsd.msk.ru>
Approved by:    krion (mentor)

- Add SHA256

Bump PORTREVISION to chase the glib20 shared library update.

Bump PORTREVISION to chase the glib20 shared lib version change.

Update to version 1.2

PR:             ports/75952
Submitted by:   Ports Fury

upgrade to 1.1

- Use USE_ICONV knob

Approved by:    portmgr

Add USE_GETTEXT and bump PORTREVISION.

Submitted by:   trevor
Tested by:      bento

SIZEify.

Now gettext 0.12.1 is gettext-old.

Bump the PORTREVISION for the ports directly affected by the gettext upgrade.

Prodded by:     kris

Chase the libintl.so shared lib version.

Fix build on STABLE

PR:             54545
Submitted by:   Volker Stolz <stolz@i2.informatik.rwth-aachen.de>

upgrade to 1.0.1
switch to new USE_GNOME
drop maintainership

Clear moonlight beckons.
Requiem mors pacem pkg-comment,
And be calm ports tree.

E Nomini Patri, E Fili, E Spiritu Sancti.

upgrade to 1.0

PR:             38786
Submitted by:   Ports Fury

gettext upgrade uber-patch (stage 3)

- switch devel/gettext (0.11.1) on, installing full package
- flip devel/gettext-old (0.10.35) to installing only static binaries
  with a "-old" suffix -- gettext-old will have its deorbit burn
  sequence initiated just after 4.6-RELEASE
- fix up ports for the new world order

Reviewed by:    portmgr

Stage 1 of gettext update.

Move gettext (0.10.35) with gettext-old
Update gettext from gettext-devel (0.10.40)
Remove gettext-devel
Fix dependencies

Stage 2 will involve upgraded gettext to 0.11 and fixing issues
Stage 3 involves a de-orbit burn sequence for gettext-old

Reviewed by:    portmgr

upgrade to 0.5    

USE_LIBTOOL implies GNU_CONFIGURE, so remove the latter where appropriate.    

upgrade to 0.4.2    

upgrade to 0.3.5    

upgrade to 0.3.2    

Various patches (mainly shared library revision changes) for those   ports that
depend on GNOME and need to change for 1.4    

upgrade to 0.3.1   add GUI support    

add mdk   MIX Development Kit offers an emulation of MIX and MIXAL    

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities