all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* [bug#73298] [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.
@ 2024-09-16 15:28 Jean-Pierre De Jesus DIAZ
  2024-09-16 15:29 ` [bug#73298] [PATCH 1/2] gnu: coq-mathcomp-bigenough: Use new style Jean-Pierre De Jesus DIAZ
  2024-09-16 15:29 ` [bug#73298] [PATCH 2/2] gnu: coq-mathcomp-bigenough: Use native-inputs Jean-Pierre De Jesus DIAZ
  0 siblings, 2 replies; 3+ messages in thread
From: Jean-Pierre De Jesus DIAZ @ 2024-09-16 15:28 UTC (permalink / raw)
  To: 73298; +Cc: Jean-Pierre De Jesus DIAZ, Julien Lepiller, pukkamustard

This simplifies the coq-mathcomp-bigenough package by removing uneeded
make flags and also moves coq and which from propagated-inputs to
native-inputs.

Jean-Pierre De Jesus DIAZ (2):
  gnu: coq-mathcomp-bigenough: Use new style.
  gnu: coq-mathcomp-bigenough: Use native-inputs.

 gnu/packages/coq.scm | 28 ++++++++++++----------------
 1 file changed, 12 insertions(+), 16 deletions(-)


base-commit: ee64bcfb796ef36db4b63f79540627fb25f3320a
-- 
2.46.0





^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2024-09-16 15:31 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-09-16 15:28 [bug#73298] [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs Jean-Pierre De Jesus DIAZ
2024-09-16 15:29 ` [bug#73298] [PATCH 1/2] gnu: coq-mathcomp-bigenough: Use new style Jean-Pierre De Jesus DIAZ
2024-09-16 15:29 ` [bug#73298] [PATCH 2/2] gnu: coq-mathcomp-bigenough: Use native-inputs Jean-Pierre De Jesus DIAZ

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.