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.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 33976 in the body.
You can then email your comments to 33976 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to guix-patches <at> gnu.org:
bug#33976; Package guix-patches. (Fri, 04 Jan 2019 17:25:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Danny Milosavljevic <dannym <at> scratchpost.org>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Fri, 04 Jan 2019 17:25:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: guix-patches <at> gnu.org
Cc: Danny Milosavljevic <dannym <at> scratchpost.org>
Subject: [PATCH] gnu: Add dev86.
Date: Fri,  4 Jan 2019 18:24:14 +0100
* gnu/packages/assembly.scm (dev86): New variable.
---
 gnu/packages/assembly.scm | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/gnu/packages/assembly.scm b/gnu/packages/assembly.scm
index 763d183cf..63f799f41 100644
--- a/gnu/packages/assembly.scm
+++ b/gnu/packages/assembly.scm
@@ -122,3 +122,37 @@ abstracts over the target CPU by exposing a standardized RISC instruction set
 to the clients.")
     (home-page "https://www.gnu.org/software/lightning/")
     (license license:gpl3+)))
+
+(define-public dev86
+  (package
+    (name "dev86")
+    (version "0.16.21")
+    (source (origin
+             (method url-fetch)
+             (uri (string-append "http://v3.sk/~lkundrak/dev86/Dev86src-"
+                                 version ".tar.gz"))
+             (sha256
+              (base32
+               "154dyr2ph4n0kwi8yx0n78j128kw29rk9r9f7s2gddzrdl712jr3"))))
+    (build-system gnu-build-system)
+    (arguments
+     `(#:make-flags (list "-j" "1" ; They use submakes wrong
+                          "CC=gcc"
+                          (string-append "PREFIX="
+                                         (assoc-ref %outputs "out")))
+       #:system "i686-linux" ; Standalone ld86 had problems otherwise
+       #: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.")
+    (home-page "https://github.com/jbruchon/dev86")
+    (license license:gpl2)))




Information forwarded to guix-patches <at> gnu.org:
bug#33976; Package guix-patches. (Wed, 09 Jan 2019 16:23:02 GMT) Full text and rfc822 format available.

Message #8 received at 33976 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 33976 <at> debbugs.gnu.org
Subject: Re: [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’.




Information forwarded to guix-patches <at> gnu.org:
bug#33976; Package guix-patches. (Wed, 09 Jan 2019 18:35:01 GMT) Full text and rfc822 format available.

Message #11 received at 33976 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 33976 <at> debbugs.gnu.org
Subject: Re: [bug#33976] [PATCH] gnu: Add dev86.
Date: Wed, 9 Jan 2019 19:34:10 +0100
[Message part 1 (text/plain, inline)]
> It’d be nice to add a few words about what’s special about this
> toolchain (not obvious from their README…).

It's primarily 16-bit.  I package it because of xen which uses it to compile
old-school BIOSes.

It was quite popular in 1990 and used even by the Linux kernel.

Nowadays, few projects still use it. 

I pushed it as 1bde3d2cbf311f6d6c733339a000b7395cb2f945.

Please amend description if necessary.
[Message part 2 (application/pgp-signature, inline)]

bug closed, send any further explanations to 33976 <at> debbugs.gnu.org and Danny Milosavljevic <dannym <at> scratchpost.org> Request was from Danny Milosavljevic <dannym <at> scratchpost.org> to control <at> debbugs.gnu.org. (Wed, 09 Jan 2019 18:35:02 GMT) Full text and rfc822 format available.

Information forwarded to guix-patches <at> gnu.org:
bug#33976; Package guix-patches. (Thu, 10 Jan 2019 08:33:01 GMT) Full text and rfc822 format available.

Message #16 received at 33976-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 33976-done <at> debbugs.gnu.org
Subject: Re: [bug#33976] [PATCH] gnu: Add dev86.
Date: Thu, 10 Jan 2019 09:31:55 +0100
Hello,

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

> It's primarily 16-bit.  I package it because of xen which uses it to compile
> old-school BIOSes.
>
> It was quite popular in 1990 and used even by the Linux kernel.

Oh, fun.

> I pushed it as 1bde3d2cbf311f6d6c733339a000b7395cb2f945.

Thanks!

> Please amend description if necessary.

I’m not in a good position to do that because I know too little about
it.  In general, I don’t think the burden should be on the reviewer—we
already have too few people reviewing patches.

Ludo’.




Information forwarded to guix-patches <at> gnu.org:
bug#33976; Package guix-patches. (Thu, 10 Jan 2019 13:02:02 GMT) Full text and rfc822 format available.

Message #19 received at 33976-done <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 33976-done <at> debbugs.gnu.org
Subject: Re: [bug#33976] [PATCH] gnu: Add dev86.
Date: Thu, 10 Jan 2019 14:01:02 +0100
[Message part 1 (text/plain, inline)]
Hi Ludo,

On Thu, 10 Jan 2019 09:31:55 +0100
Ludovic Courtès <ludo <at> gnu.org> wrote:

> > Please amend description if necessary.  
> 
> I’m not in a good position to do that because I know too little about
> it.  In general, I don’t think the burden should be on the reviewer—we
> already have too few people reviewing patches.

I agree!  I had already extended the description.  I meant don't hesitate to
edit it further if you want to.
[Message part 2 (application/pgp-signature, inline)]

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 08 Feb 2019 12:24:06 GMT) Full text and rfc822 format available.

This bug report was last modified 5 years and 71 days ago.

Previous Next


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