guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#28289: [PATCH] gnu: Add emacs-ocaml-tuareg.


From: Ludovic Courtès
Subject: bug#28289: [PATCH] gnu: Add emacs-ocaml-tuareg.
Date: Fri, 01 Sep 2017 10:41:19 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux)

Hi Oleg,

Oleg Pykhalov <address@hidden> skribis:

>>From 99c16b82de639864d9cfc5d144d8e0739f3c586c Mon Sep 17 00:00:00 2001
> From: Oleg Pykhalov <address@hidden>
> Date: Wed, 30 Aug 2017 09:29:44 +0300
> Subject: [PATCH] gnu: Add emacs-ocaml-tuareg.
>
> * gnu/packages/ocaml.scm (emacs-ocaml-tuareg): New variable.

[...]

> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -57,6 +57,7 @@
>    #:use-module (gnu packages xml)
>    #:use-module (gnu packages xorg)
>    #:use-module (guix build-system gnu)
> +  #:use-module (guix build-system emacs)

I removed this line…

>    #:use-module (guix build-system ocaml)
>    #:use-module (guix download)
>    #:use-module ((guix licenses) #:prefix license:)
> @@ -575,6 +576,46 @@ assistant to write formal mathematical proofs using a 
> variety of theorem
>  provers.")
>      (license license:gpl2+)))
>  
> +(define-public emacs-ocaml-tuareg
> +  (package
> +    (name "emacs-ocaml-tuareg")

… and renamed the package to “emacs-tuareg”, since the upstream name is
just “Tuareg”.

I hope that’s fine you, otherwise please let me know!

Thank you,
Ludo’.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]