···11-{ fetchurl, stdenv, texLive, guile, libX11, libXext }:
22-33-let version = "1.0.7"; in
44-stdenv.mkDerivation {
55- name = "texmacs-${version}";
66-77- src = fetchurl {
88- url = "ftp://ftp.texmacs.org/pub/TeXmacs/targz/TeXmacs-${version}-src.tar.gz";
99- sha256 = "1jdynapwc4fnp4ff71whq7l2jv0v3zwq2v2w463ppxm9cbi3bm5v";
1010- };
1111-1212- buildInputs = [ texLive guile libX11 libXext ];
1313-1414- meta = {
1515- description = "GNU TeXmacs, a WYSIWYW editing platform with special features for scientists";
1616-1717- longDescription =
1818- '' GNU TeXmacs is a free wysiwyw (what you see is what you want)
1919- editing platform with special features for scientists. The software
2020- aims to provide a unified and user friendly framework for editing
2121- structured documents with different types of content (text,
2222- graphics, mathematics, interactive content, etc.). The rendering
2323- engine uses high-quality typesetting algorithms so as to produce
2424- professionally looking documents, which can either be printed out or
2525- presented from a laptop.
2626-2727- The software includes a text editor with support for mathematical
2828- formulas, a small technical picture editor and a tool for making
2929- presentations from a laptop. Moreover, TeXmacs can be used as an
3030- interface for many external systems for computer algebra, numerical
3131- analysis, statistics, etc. New presentation styles can be written
3232- by the user and new features can be added to the editor using the
3333- Scheme extension language. A native spreadsheet and tools for
3434- collaborative authoring are planned for later.
3535- '';
3636-3737- homepage = http://texmacs.org/;
3838-3939- license = "GPLv2+";
4040-4141- maintainers = [ stdenv.lib.maintainers.ludo ];
4242- platforms = stdenv.lib.platforms.gnu; # arbitrary choice
4343- };
4444-}
···17171818 configurePhase = ''./configure --disable-dependency-tracking --prefix=$out --datadir=$out/share/maude TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"'';
19192020- doCheck = true;
2020+ # The test suite is known to fail on Darwin. If maude is ever updated to a
2121+ # new version, this exception ought to be removed again.
2222+ doCheck = !stdenv.isDarwin;
21232224 postInstall =
2325 ''
···11+{ fetchurl, stdenv }:
22+33+let version = "0.9.8"; in
44+stdenv.mkDerivation {
55+ name = "check-${version}";
66+77+ src = fetchurl {
88+ url = "mirror://sourceforge/check/${version}/check-${version}.tar.gz";
99+ sha256 = "0zvak7vx0zq344x174yg9vkw6fg9kycda15zlbz4yn07pdbgkb42";
1010+ };
1111+1212+ doCheck = true;
1313+1414+ meta = {
1515+ description = "Check, a unit testing framework for C";
1616+1717+ longDescription =
1818+ '' Check is a unit testing framework for C. It features a simple
1919+ interface for defining unit tests, putting little in the way of the
2020+ developer. Tests are run in a separate address space, so Check can
2121+ catch both assertion failures and code errors that cause
2222+ segmentation faults or other signals. The output from unit tests
2323+ can be used within source code editors and IDEs.
2424+ '';
2525+2626+ homepage = http://check.sourceforge.net/;
2727+2828+ license = "LGPLv2+";
2929+ };
3030+}
···1313 # problem. In case we ever update the Darwin GCC version, the exception for
1414 # that platform ought to be removed.
1515 configureFlags = ''
1616- CPPFLAGS=-DNDEBUG CFLAGS=-O3 CXXFLAGS=${if stdenv.isDarwin then "-O0" else "-O3"}
1716 ${if unicodeSupport then "--enable-unicode-properties" else ""}
1817 ${if !cplusplusSupport then "--disable-cpp" else ""}
1919- '';
1818+ '' + stdenv.lib.optionalString stdenv.isDarwin "CXXFLAGS=-O0";
20192120 doCheck = true;
2221
···11{stdenv, fetchurl, libftdi}:
2233+let
44+ # The "GuruPlug installer" from Marvell. See
55+ # <http://www.plugcomputer.org/index.php/us/resources/downloads?func=select&id=16>,
66+ # linked from <http://www.globalscaletechnologies.com/t-downloads.aspx>.
77+ guruplug_installer = fetchurl {
88+ url = "http://www.plugcomputer.org/index.php/us/resources/downloads?func=download&id=65&chk=d6878f4bf86070f7b4f7bc93317fcb0f&no_html=1";
99+ sha256 = "1nps9li9k1kxb31f9x6d114hh0a3bx886abvgh8vg004ni996hlv";
1010+ name = "guruplug-installer.tar.gz";
1111+ };
1212+in
313stdenv.mkDerivation {
414 name = "openocd-0.4.0";
515···818 sha256 = "1c9j8s3mqgw5spv6nd4lqfkd1l9jmjipi0ya054vnjfsy2617kzv";
919 };
10201111-1221 configureFlags = [ "--enable-ft2232_libftdi" "--disable-werror" ];
13221423 buildInputs = [ libftdi ];
15242525+ # Copy the GuruPlug stuff.
2626+ # XXX: Unfortunately, these files were written for OpenOCD 0.2.0 and don't
2727+ # work with 0.4.0.
2828+ # postInstall =
2929+ # '' tar xf "${guruplug_installer}"
3030+ # for dir in interface target board
3131+ # do
3232+ # cp -v "guruplug-installer/openocd/$dir/"* \
3333+ # "$out/share/openocd/scripts/$dir/"
3434+ # done
3535+ # '';
3636+1637 meta = {
1738 homepage = http://openocd.berlios.de;
1818- description = "Open On Chip Debugger";
1919- license = "GPLv2";
3939+ description = "OpenOCD, an on-chip debugger";
4040+4141+ longDescription =
4242+ '' OpenOCD provides on-chip programming and debugging support with a
4343+ layered architecture of JTAG interface and TAP support, debug target
4444+ support (e.g. ARM, MIPS), and flash chip drivers (e.g. CFI, NAND,
4545+ etc.). Several network interfaces are available for interactiving
4646+ with OpenOCD: HTTP, telnet, TCL, and GDB. The GDB server enables
4747+ OpenOCD to function as a "remote target" for source-level debugging
4848+ of embedded systems using the GNU GDB program.
4949+ '';
5050+5151+ license = "GPLv2+";
2052 maintainers = with stdenv.lib.maintainers; [viric];
2153 platforms = with stdenv.lib.platforms; linux;
2254 };
+1
pkgs/lib/maintainers.nix
···1616 phreedom = "Evgeny Egorochkin <phreedom.stdin@gmail.com>";
1717 pierron = "Nicolas B. Pierron <nixos@nbp.name>";
1818 raskin = "Michael Raskin <7c6f434c@mail.ru>";
1919+ roconnor = "Russell O'Connor <roconnor@theorem.ca>";
1920 sander = "Sander van der Burg <s.vanderburg@tudelft.nl>";
2021 simons = "Peter Simons <simons@cryp.to>";
2122 urkud = "Yury G. Kudryashov <urkud+nix@ya.ru>";