GNU bug report logs - #33976
[PATCH] gnu: Add dev86.

Previous Next

Package: guix-patches;

Reported by: Danny Milosavljevic <dannym <at> scratchpost.org>

Date: Fri, 4 Jan 2019 17:25:01 UTC

Severity: normal

Tags: patch

Done: Danny Milosavljevic <dannym <at> scratchpost.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 33976 <at> debbugs.gnu.org
Subject: [bug#33976] [PATCH] gnu: Add dev86.
Date: Wed, 09 Jan 2019 17:21:59 +0100
Hi,

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> * gnu/packages/assembly.scm (dev86): New variable.

[...]

> +    (arguments
> +     `(#:make-flags (list "-j" "1" ; They use submakes wrong

Maybe #:parallel-build? #f for clarity.

> +       #:system "i686-linux" ; Standalone ld86 had problems otherwise

Please add ‘supported-systems’ accordingly.

> +       #:tests? #f ; No tests exist
> +       #:phases
> +       (modify-phases %standard-phases
> +        (delete 'configure)
> +        (add-before 'install 'mkdir
> +          (lambda* (#:key outputs #:allow-other-keys)
> +            (let ((out (assoc-ref outputs "out")))
> +              (mkdir-p (string-append out "/bin"))
> +              (mkdir-p (string-append out "/man/man1"))
> +              #t))))))
> +    (synopsis "X86 16-bit assembler, C compiler and linker")
> +    (description "This package provides a X86 16-bit assembler, a C compiler
> +and a linker.")

s/X86/Intel 8086/, no?

It’d be nice to add a few words about what’s special about this
toolchain (not obvious from their README…).

> +    (home-page "https://github.com/jbruchon/dev86")
> +    (license license:gpl2)))

There are no headers in source files so it should be gpl2+.

OK with these changes, thank you!

Ludo’.




This bug report was last modified 6 years and 184 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.