From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <help-guix-bounces+larch=yhetil.org@gnu.org>
Received: from mp10.migadu.com ([2001:41d0:8:6d80::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by ms5.migadu.com with LMTPS
	id AKtzMYpp02Ig5wAAbAwnHQ
	(envelope-from <help-guix-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Sun, 17 Jul 2022 03:44:42 +0200
Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by mp10.migadu.com with LMTPS
	id kJA7MIpp02IiRwAAG6o9tA
	(envelope-from <help-guix-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Sun, 17 Jul 2022 03:44:42 +0200
Received: from lists.gnu.org (lists.gnu.org [209.51.188.17])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by aspmx1.migadu.com (Postfix) with ESMTPS id 83FE795B9
	for <larch@yhetil.org>; Sun, 17 Jul 2022 03:44:42 +0200 (CEST)
Received: from localhost ([::1]:40684 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <help-guix-bounces+larch=yhetil.org@gnu.org>)
	id 1oCtKr-0003oJ-EJ
	for larch@yhetil.org; Sat, 16 Jul 2022 21:44:41 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:55904)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <jgart@dismail.de>) id 1oCtJr-0002g1-UZ
 for help-guix@gnu.org; Sat, 16 Jul 2022 21:43:40 -0400
Received: from mx1.dismail.de ([78.46.223.134]:21953)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <jgart@dismail.de>) id 1oCtJp-0007DH-PO
 for help-guix@gnu.org; Sat, 16 Jul 2022 21:43:39 -0400
Received: from mx1.dismail.de (localhost [127.0.0.1])
 by mx1.dismail.de (OpenSMTPD) with ESMTP id 44705f27
 for <help-guix@gnu.org>; Sun, 17 Jul 2022 03:43:31 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=date
 :message-id:from:to:subject:references:mime-version:content-type
 :content-transfer-encoding; s=20190914; bh=QB3V+ZUgaFQLquWxBH7HE
 dimdHYFHRYKcy79/DCFknw=; b=exkCwS6MQPZMgKKaeD6kNOPmpyJfngeBnlK6X
 +W2qH6iyglO6wR5sPEOELypoU2BmEcmMDo6w0xMADAKlEfgxLCup9v8zHMj66Wg1
 zjAMgjFkmounA9QO8RSVW3I92R0XrO+OfTI9PlZ9vimzIfm7uR2IudzFxHZ/iaEC
 T/trBx8GLt7IlrkNGImCVAPFl2I4iDAetzjO1j1yfZsUfFybU7Cdm0QCFL268M03
 eP0/cuFBaVjJHCkzwqPaZPnoCqTigADNN8ZYWljD/f0PwtevKSmPiu1y+CN4zylF
 VVuz8iKSmc1PJJI4hANFS+l20Ml47UkJMWNdg3mwiZbCnMndg==
Received: from smtp2.dismail.de (<unknown> [10.240.26.12])
 by mx1.dismail.de (OpenSMTPD) with ESMTP id f40c7cda
 for <help-guix@gnu.org>; Sun, 17 Jul 2022 03:43:30 +0200 (CEST)
Received: from smtp2.dismail.de (localhost [127.0.0.1])
 by smtp2.dismail.de (OpenSMTPD) with ESMTP id 50e3d61c
 for <help-guix@gnu.org>; Sun, 17 Jul 2022 03:43:30 +0200 (CEST)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id dac86e15
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for <help-guix@gnu.org>;
 Sun, 17 Jul 2022 03:43:29 +0200 (CEST)
Date: Sat, 16 Jul 2022 20:43:36 -0500
Message-ID: <20220716204336.GB9116@gac>
From: jgart <jgart@dismail.de>
To: Guix Help <help-guix@gnu.org>
Subject: python-mypy and C/C++ code question
References: 
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=78.46.223.134; envelope-from=jgart@dismail.de;
 helo=mx1.dismail.de
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: help-guix@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/help-guix>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+larch=yhetil.org@gnu.org>
X-Migadu-Flow: FLOW_IN
X-Migadu-To: larch@yhetil.org
X-Migadu-Country: US
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org;
	s=key1; t=1658022282;
	h=from:from:sender:sender:reply-to:subject:subject:date:date:
	 message-id:message-id:to:to:cc:mime-version:mime-version:
	 content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding:
	 references:references:list-id:list-help:list-unsubscribe:
	 list-subscribe:list-post:dkim-signature;
	bh=QB3V+ZUgaFQLquWxBH7HEdimdHYFHRYKcy79/DCFknw=;
	b=GSCkGnkIFLmPTJozHoO6W55iTEOybOftNPrY+Xj1jZ8nFteFaRthfUEEY85nTTUjRsVVhO
	Dw1oFeIk1EZCIdxuQ/dTp4i7J2E4+jFrm/uNDKrDQ4q17vGS9kUbB0EPxFL199iK44eo9B
	o+KSkQ7obreeiekysaND7F3M8UOQpvEqfhJXApEjG/eGJ6gju/aEuSjbm+BO05pe0WTx+I
	8cvTNrZ2B59yn3OVrWWKe+x8PCMqyGSxT/6KPb9Ebgm1dMXF0JHjhTggY0tW2X7YLhHl0B
	od9Z4TO5vcflNp20fFl3b7JPZiOXAmorxoyrRmJW+7tol3iz61d7iyTN5HojPQ==
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1658022282; a=rsa-sha256; cv=none;
	b=GnZEZn0jlsyeAGSowzuXkDZw1R3vKZZsEIoXTDUqMt8q5M49WVyt1pyT+eCR8kFIX6YjoM
	DqnsmLZBH7yMdXWzMr/JMN2Eg15BkESfdf7POs9yCC/JiuA0+wV7oWSC1eymCA1z/yEiUC
	5arhi/O1BtyqYqRs8YhlqEPDO3zL0jM9nFybxMNX5gTJSIE3oKf+EzDZeb3PjQhefdukGm
	J0qmcemdr84HkGFdYzckltuTzBSOhb8hgYUu9ltnpsY4srLIbzZ3yV85qbD8Be8padaSau
	x4gnPgC+PDtEgGNIo3mH/noYao1baQaI0tpFncycJmarf3xHGZDJmS41AjzwhQ==
ARC-Authentication-Results: i=1;
	aspmx1.migadu.com;
	dkim=pass header.d=dismail.de header.s=20190914 header.b=exkCwS6M;
	dmarc=pass (policy=reject) header.from=dismail.de;
	spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Spam-Score: -6.73
Authentication-Results: aspmx1.migadu.com;
	dkim=pass header.d=dismail.de header.s=20190914 header.b=exkCwS6M;
	dmarc=pass (policy=reject) header.from=dismail.de;
	spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Queue-Id: 83FE795B9
X-Spam-Score: -6.73
X-Migadu-Scanner: scn0.migadu.com
X-TUID: Qg3ytrI0IZu2

Hi Guixers,

I have a basic question:

How do the C and C++ files in python-mypy get built?

Does the setup.py handle that for us?

https://github.com/python/mypy/search?l=c
https://github.com/python/mypy/search?l=c%2B%2B