mdk - MIX Development Kit

Distribution: Ubuntu 12.04 LTS (Precise Pangolin)
Repository: Ubuntu Universe amd64
Package name: mdk
Package version: 1.2.6+dfsg
Package release: 1
Package architecture: amd64
Package type: deb
Installed size: 1.10 KB
Download size: 307.93 KB
Official Mirror:
MDK stands for MIX Development Kit, and provides tools for developing and executing, in a MIX virtual machine, MIXAL programs. The MIX is Donald Knuth's mythical computer, described in the first volume of The Art of Computer Programming, which is programmed using MIXAL, the MIX assembly language. MDK includes a MIXAL assembler (mixasm) and a MIX virtual machine (mixvm) with a command line interface. In addition, a GTK+ GUI to mixvm, called gmixvm, and a Guile interpreter with an embedded MIX virtual machine called mixguile, are provided. Using these interfaces, you can debug your MIXAL programs at source code level, and read/modify the contents of all the components of the MIX computer (including block devices, which are simulated using the file system).



    Source package: mdk

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install mdk deb package:
      # sudo apt-get install mdk


    • /etc/emacs/site-start.d/50mdk.el
    • /usr/bin/gmixvm
    • /usr/bin/mixasm
    • /usr/bin/mixguile
    • /usr/bin/mixvm
    • /usr/lib/emacsen-common/packages/install/mdk
    • /usr/lib/emacsen-common/packages/remove/mdk
    • /usr/share/doc/mdk/NEWS.Debian.gz
    • /usr/share/doc/mdk/THANKS
    • /usr/share/doc/mdk/TODO
    • /usr/share/doc/mdk/changelog.Debian.gz
    • /usr/share/doc/mdk/copyright
    • /usr/share/emacs/site-lisp/mdk/mixvm.el
    • /usr/share/locale/de/LC_MESSAGES/
    • /usr/share/man/man1/gmixvm.1.gz
    • /usr/share/man/man1/mixasm.1.gz
    • /usr/share/man/man1/mixguile.1.gz
    • /usr/share/man/man1/mixvm.1.gz
    • /usr/share/mdk/mixal-mode.el
    • /usr/share/mdk/
    • /usr/share/mdk/mixguile-commands.scm
    • /usr/share/mdk/mixguile-vm-stat.scm
    • /usr/share/mdk/mixguile.scm
    • /usr/share/mdk/mixvm.el
    • /usr/share/menu/mdk


    2011-05-10 - Peter Pentchev <> mdk (1.2.6+dfsg-1) unstable; urgency=low * Fix another compiler warning emitted by GCC 4.6. Closes: #625390 * Bump Standards-Version to 3.9.2 with no changes. * Update the copyright file to the latest DEP 5 candidate format. * New upstream version: - refresh the 01-gtk-deprecated and 02-warnings patches - install POTFILES.skip during the automated testing to skip files in the .pc/ quilt directory - add the 04-no-doc-build patch to practically revert an upstream change and *not* install the Texinfo documentation for the present - update the copyright file to reflect that some files have been relicensed under GPL-3+ and some copyright years have been bumped - repack the original tarball to remove the doc/ directory using the new debian/ script - switch from Guile 1.6 to 1.8 - update the 01-gtk-deprecated patch to only re-enable deprecated routines in GLib; the upstream source uses the correct GTK+ interface now - update the 02-warnings patch to remove the simulated noinput lexer option - the upstream source defines it now * Use bzip2 compression for the Debian tarball. * Remove the version options from the watch file: "uupdate" may be dangerous and a bit intrusive, as discussed with gregor herrmann, and "debian" is the default. * Use the sensible-editor program from the sensible-utils package on Debian systems. * Add the 06-dis-check patch to fix an error in checking the wrong argument to a couple of xmix callback functions. * Set the DM-Upload-Allowed flag as discussed with gregor herrmann on the debian-mentors list.

    2011-02-21 - Peter Pentchev <> mdk (1.2.3-2) unstable; urgency=low * New maintainer. Closes: #482633 * Convert to the 3.0 (quilt) source format, breaking out Cyril Brulebois's change into a patch. * Remove the XS- before the Vcs-Git and Vcs-Browser source control fields. * Move the Homepage out of the long description. * Add misc:Depends to the binary package. * Convert the copyright file to the latest revision of the DEP 5 candidate and add my copyright notice. * Reformat the GFDL news entry to remove the asterisk. * Refresh the use of debhelper: - bump the compatibility level to 8 - minimize the rules file using debhelper overrides - turn off verbose mode by default * Bump Standards-Version to 3.9.1 with no further changes. * Use dpkg-buildflags from dpkg-dev 1.15.7 to obtain the default CPPFLAGS, CFLAGS and LDFLAGS. * Use "dh --with autotools_dev" to handle config.guess and config.sub. * Add -Werror to the compiler flags if the non-standard "werror" build option is specified. * Add the 02-warnings patch to fix a couple of compiler warnings. * Harden the build unless the non-standard "nohardening" build option is specified. * Pass --as-needed to the linker to cut down on library dependencies. * Add manual page stubs for gmixvm, mixasm, mixguile and mixvm. * Add the 03-cppcheck patch to fix some problems revealed by cppcheck. * Remove the postinst.debhelper, postrm.debhelper and prerm.debhelper files; I'm not sure whether they should ever have been tracked in a VCS. * In the 01-gtk-deprecated patch, also remove the G_DISABLE_DEPRECATED definition - GLib 2.26 deprecates the completion functions.

    2007-10-09 - Cyril Brulebois <> mdk (1.2.3-1.1) unstable; urgency=low * Non-maintainer upload. * Remove "-DGTK_DISABLE_DEPRECATED" from configure{,.in} to avoid FTBFS due to the transition to Gtk 2.12 (Closes: #444532). * No longer ignore "make distclean" errors, per lintian.

    2007-07-06 - Baruch Even <> mdk (1.2.3-1) unstable; urgency=low * New upstream version * Add Xs-Vcs-Browser and Xs-Vcs-Git tags to debian/control * Update menu file for the new menu policy, s/Apps/Applications (Closes: #431767) * Added build-dep on intltool