Philip McGrath 834aa48504
gnu: racket: Don't inject store paths into Racket files. ...
Apparently, during grafting, Guix can somehow mangle compiled
Racket CS files (.zo) such that Racket will refuse to load them.
(Maybe it has something to do with compression?)
So, we stop patching Racket sources with absolute paths to store
files (i.e. for foreign libraries to dlopen).
Instead, we put them in a data file that doesn't get compiled or,
in one case, embed it in C.
Fixes https://issues.guix.gnu.org/47064
* gnu/packages/patches/racket-sh-via-rktio.patch: New file.
Adds a special case at the C level, controlled by a preprocessor macro,
to handle attempts to execute "/bin/sh".
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/scheme.scm (racket)[source](patches): Apply it.
(racket)[arguments](#:configure-flags): Add the CPP flag to enable it.
(racket)[arguments](#:modules): Use srfi-1.
(racket)[arguments](#:phases): Remove 'patch-/bin/sh and 'pre-configure.
Change 'pre-configure-minimal to just change directory.
Add 'patch-config.rktd-lib-search-dirs after 'build and before 'install
to configure Racket's "lib-search-dirs".
(racket, racket-minimal)[inputs]: Add bash-minimal as an explicit input.
(racket-minimal)[source]: Adjust to inherit patches from racket.
(racket-minimal)[arguments]: Inherit from racket: changes no longer needed.
Signed-off-by: Ludovic Courtès <ludo@gnu.org >
2021-04-12 18:42:22 +02:00
2020-05-06 22:49:56 +02:00
2021-03-19 22:32:40 +01:00
2021-03-19 22:32:40 +01:00
2020-04-10 17:15:32 +02:00
2020-04-10 16:06:03 +02:00
2020-06-06 22:13:25 +02:00
2020-02-03 14:27:22 +01:00
2020-03-07 17:29:34 +01:00
2020-12-27 16:42:02 -05:00
2020-11-10 17:49:14 +01:00
2020-11-10 17:49:14 +01:00
2020-11-10 17:49:14 +01:00
2020-11-10 17:49:14 +01:00
2020-11-10 17:49:14 +01:00
2021-03-12 23:58:54 +01:00
2020-12-17 14:01:18 +01:00
2021-03-12 23:58:54 +01:00
2021-03-12 23:58:54 +01:00
2020-12-17 14:01:18 +01:00
2020-04-02 11:19:53 -04:00
2020-12-20 14:57:37 -06:00
2020-03-16 15:45:34 +01:00
2020-05-02 15:53:36 +01:00
2020-06-01 00:51:39 +02:00
2020-03-15 08:47:21 +02:00
2020-04-10 16:05:57 +02:00
2020-04-10 16:05:57 +02:00
2020-07-31 13:38:47 -04:00
2020-07-31 13:38:47 -04:00
2020-07-31 13:38:47 -04:00
2020-07-31 13:38:47 -04:00
2020-07-31 12:57:34 +02:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2020-11-04 15:15:47 +01:00
2021-03-10 09:54:27 +01:00
2021-03-19 11:56:38 +01:00
2021-01-31 09:22:46 +01:00
2021-03-12 06:08:33 -05:00
2021-03-12 06:08:33 -05:00
2021-04-09 16:09:26 -04:00
2021-04-09 16:09:26 -04:00
2021-04-09 16:09:26 -04:00
2021-04-05 16:10:06 +02:00
2020-03-23 11:42:36 +01:00
2020-12-05 16:00:57 +01:00
2020-10-03 23:00:21 +02:00
2020-02-24 17:10:22 +01:00
2020-04-24 16:21:13 +02:00
2020-10-19 00:12:31 +02:00
2020-08-11 17:54:49 +02:00
2020-03-05 23:36:04 +01:00
2020-03-05 23:36:04 +01:00
2020-03-05 23:36:04 +01:00
2020-05-04 23:07:57 +02:00
2020-12-05 11:14:55 -06:00
2020-03-09 08:37:29 +01:00
2021-04-02 16:44:33 -04:00
2021-03-10 11:51:09 +01:00
2020-03-19 15:14:08 +01:00
2020-02-17 23:01:54 +01:00
2020-04-11 04:14:28 +02:00
2020-06-02 23:41:35 +02:00
2020-12-28 09:56:22 +02:00
2020-08-18 23:10:57 +02:00
2020-02-23 18:14:44 +01:00
2020-02-23 18:14:44 +01:00
2020-04-22 19:23:58 +02:00
2020-07-10 23:03:41 +02:00
2020-07-10 23:03:41 +02:00
2020-07-10 23:03:41 +02:00
2021-03-23 14:20:06 +01:00
2020-11-23 19:22:31 +01:00
2020-03-17 03:00:18 +01:00
2020-02-16 16:26:20 +01:00
2020-08-28 00:13:51 -04:00
2020-07-17 01:18:00 +02:00
2020-06-20 21:18:24 +02:00
2020-08-28 00:13:51 -04:00
2020-05-27 13:46:49 -04:00
2020-08-28 00:13:51 -04:00
2020-07-21 12:51:04 -05:00
2020-04-28 20:44:30 +03:00
2020-05-25 09:01:48 +03:00
2021-03-11 01:19:40 +01:00
2021-03-11 01:19:40 +01:00
2021-03-11 01:19:40 +01:00
2020-04-18 16:49:54 -04:00
2020-06-11 22:44:27 +02:00
2020-05-02 16:49:29 +02:00
2020-10-20 00:21:31 +02:00
2020-03-14 12:02:51 +01:00
2020-03-26 12:59:33 +01:00
2020-03-19 23:24:50 +01:00
2020-08-29 21:20:05 +02:00
2020-09-23 14:14:09 +02:00
2021-02-01 19:02:14 +02:00
2020-08-12 17:08:47 +02:00
2020-11-19 22:16:18 +01:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-16 21:51:43 +02:00
2020-07-02 23:54:02 +02:00
2020-02-15 22:02:55 +01:00
2020-03-24 23:31:34 +01:00
2020-11-16 15:02:48 +01:00
2020-11-16 15:02:48 +01:00
2020-02-15 22:02:55 +01:00
2020-03-24 13:55:10 +01:00
2020-02-15 22:02:55 +01:00
2020-02-17 23:16:43 +01:00
2020-03-26 22:35:35 +01:00
2020-03-26 22:35:35 +01:00
2020-11-08 00:22:21 +01:00
2021-03-12 06:08:32 -05:00
2020-04-18 18:36:00 -04:00
2021-03-11 02:32:19 +01:00
2020-09-08 22:29:32 +02:00
2020-03-24 18:02:43 +01:00
2020-12-08 22:57:53 +01:00
2020-12-08 22:57:53 +01:00
2020-03-14 12:02:52 +01:00
2021-04-01 00:49:28 +02:00
2020-11-13 09:13:56 +01:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-11 06:21:13 -05:00
2021-03-12 01:44:26 -05:00
2020-02-15 22:02:55 +01:00
2020-02-17 23:16:42 +01:00
2020-03-24 23:31:33 +01:00
2020-03-24 23:31:33 +01:00
2020-04-11 19:22:27 +02:00
2020-04-11 19:22:25 +02:00
2020-03-24 23:31:34 +01:00
2021-03-23 23:19:55 -07:00
2020-02-15 22:02:55 +01:00
2020-11-28 15:56:08 +00:00
2020-09-18 08:45:40 +02:00
2021-03-12 06:08:33 -05:00
2020-04-18 16:51:29 -04:00
2020-04-18 16:51:29 -04:00
2020-05-06 18:10:51 +02:00
2020-03-29 15:25:50 -04:00
2020-04-11 21:29:29 +02:00
2021-03-13 04:58:12 -05:00
2021-03-13 04:58:12 -05:00
2020-09-05 11:58:21 +02:00
2021-01-06 11:14:53 +02:00
2020-05-05 10:06:28 +03:00
2020-05-04 10:26:52 +02:00
2020-07-08 11:23:41 +02:00
2020-05-26 10:00:08 +02:00
2020-03-24 23:31:29 +01:00
2021-01-31 01:00:30 -05:00
2020-05-01 22:06:33 +02:00
2021-01-11 12:06:12 +01:00
2020-05-01 22:06:33 +02:00
2020-05-01 22:06:33 +02:00
2020-05-22 14:32:07 -05:00
2020-03-24 23:31:34 +01:00
2020-08-15 13:17:55 -04:00
2020-01-21 00:43:24 +01:00
2021-03-06 00:07:46 +01:00
2021-02-24 10:29:20 +01:00
2020-03-26 12:59:33 +01:00
2020-06-08 13:51:17 +02:00
2021-01-26 21:36:52 -05:00
2020-05-06 02:27:35 -04:00
2020-10-28 10:33:52 +02:00
2020-10-28 10:33:59 +02:00
2020-03-25 17:53:59 -04:00
2021-01-20 09:58:31 -06:00
2021-03-27 19:49:07 -04:00
2021-03-27 19:49:14 -04:00
2021-03-27 19:49:14 -04:00
2021-03-27 19:49:14 -04:00
2021-02-10 00:18:17 +01:00
2020-07-21 23:54:44 +02:00
2020-06-14 23:15:22 +02:00
2021-01-14 01:17:04 +01:00
2020-06-28 10:45:53 +03:00
2020-06-28 10:45:53 +03:00
2020-06-28 10:45:59 +03:00
2020-06-22 23:52:55 +02:00
2020-06-28 10:45:59 +03:00
2020-09-20 13:56:44 +02:00
2020-09-20 13:56:44 +02:00
2020-06-03 18:05:56 +02:00
2020-10-14 03:31:10 +02:00
2020-08-06 09:44:24 +03:00
2020-08-06 09:44:24 +03:00
2020-08-06 09:44:24 +03:00
2020-05-12 15:32:06 +02:00
2020-03-19 11:36:21 +01:00
2020-05-26 22:32:56 +02:00
2020-03-19 11:36:21 +01:00
2020-04-09 02:42:54 +00:00
2020-10-27 20:14:05 +01:00
2020-08-18 23:11:16 +02:00
2020-03-26 12:59:33 +01:00
2020-07-28 00:32:00 -04:00
2021-03-08 15:48:08 +02:00
2021-03-08 15:48:08 +02:00
2020-10-12 21:49:23 +02:00
2021-03-11 02:02:24 +01:00
2020-10-13 23:48:15 +02:00
2020-12-05 21:10:59 -06:00
2020-11-07 11:31:39 +01:00
2020-12-20 16:53:34 -08:00
2020-03-19 11:36:18 +01:00
2020-01-23 00:06:52 +01:00
2020-08-20 15:28:13 -05:00
2020-08-18 22:56:32 +02:00
2020-08-18 22:56:32 +02:00
2020-08-18 22:56:32 +02:00
2020-04-20 20:05:09 +02:00
2020-08-18 22:56:30 +02:00
2020-12-09 09:22:09 +02:00
2020-05-01 08:10:50 +02:00
2020-05-01 08:10:50 +02:00
2021-04-05 18:26:37 +01:00
2021-04-02 09:23:20 +01:00
2020-07-10 23:03:41 +02:00
2021-03-29 01:17:14 -04:00
2020-03-25 18:59:25 -07:00
2021-04-11 17:02:30 +02:00
2021-04-02 18:04:24 +02:00
2020-11-14 11:41:07 -05:00
2020-11-14 11:41:07 -05:00
2020-11-14 11:41:07 -05:00
2020-10-05 23:48:45 -04:00
2020-11-23 05:44:10 +01:00
2020-02-11 00:05:16 +01:00
2020-09-16 19:55:14 +01:00
2020-01-21 23:17:20 +01:00
2021-03-26 02:21:51 +01:00
2020-07-17 04:18:04 +02:00
2021-01-18 15:07:05 -05:00
2020-04-04 16:23:07 -04:00
2020-04-04 16:23:07 -04:00
2020-12-07 12:48:07 +02:00
2020-03-26 12:59:35 +01:00
2020-03-14 12:02:53 +01:00
2021-03-16 19:12:36 +01:00
2020-02-14 23:01:47 +01:00
2020-02-14 23:01:47 +01:00
2020-02-14 23:01:47 +01:00
2021-03-04 20:12:07 -05:00
2020-11-24 15:58:49 +01:00
2020-05-02 17:51:48 +02:00
2020-11-25 13:29:00 -05:00
2020-10-26 15:57:27 +00:00
2020-05-26 14:50:10 -05:00
2020-05-22 22:57:47 +02:00
2020-07-30 00:57:27 +02:00
2020-10-14 23:41:26 +03:00
2020-09-28 14:45:18 -04:00
2021-02-02 11:05:43 +01:00
2020-11-22 21:02:59 -06:00
2020-08-13 16:09:40 +02:00
2020-05-16 11:50:45 +02:00
2020-05-13 11:25:37 +02:00
2020-08-18 23:10:04 +02:00
2020-04-11 21:29:29 +02:00
2021-02-07 02:38:52 +01:00
2020-03-31 13:31:57 -04:00
2020-03-26 12:59:34 +01:00
2020-12-09 14:13:33 +01:00
2020-04-20 07:37:37 +02:00
2020-11-15 00:12:11 +01:00
2020-11-15 00:12:11 +01:00
2020-10-05 10:42:00 +02:00
2020-08-03 23:30:11 -04:00
2020-08-05 21:51:38 -04:00
2020-10-27 20:14:05 +01:00
2020-07-27 00:02:10 -04:00
2021-03-06 18:28:04 +01:00
2021-01-10 14:23:20 +02:00
2020-12-13 16:54:41 -05:00
2020-06-01 00:51:39 +02:00
2020-01-20 21:53:51 +01:00
2020-11-10 16:43:59 +01:00
2021-03-02 16:55:06 -05:00
2020-02-06 18:47:15 +01:00
2020-04-01 12:58:32 +02:00
2020-03-10 14:16:27 +01:00
2021-02-23 14:12:33 -05:00
2020-12-14 10:34:31 +01:00
2020-07-20 23:25:10 +02:00
2020-05-23 21:19:13 +02:00
2020-12-08 22:57:53 +01:00
2020-03-16 15:45:33 +01:00
2021-03-02 18:31:42 +01:00
2021-02-02 22:02:22 +01:00
2020-06-16 23:18:26 +03:00
2020-08-03 08:59:52 +02:00
2020-12-01 23:23:10 +01:00
2020-04-11 16:04:26 +02:00
2020-11-23 15:43:36 +02:00
2020-10-26 22:56:29 +01:00
2021-04-06 16:56:08 -04:00
2021-02-28 04:40:05 +01:00
2021-04-01 13:31:51 +03:00
2021-02-09 14:53:01 -05:00
2020-02-13 20:13:09 -05:00
2020-07-15 20:08:10 +02:00
2020-03-29 11:35:04 +02:00
2020-05-26 22:32:56 +02:00
2020-06-15 11:25:30 +03:00
2021-01-20 17:18:59 +01:00
2021-04-12 18:42:22 +02:00
2020-02-18 17:03:09 +01:00
2020-10-23 17:45:55 +03:00
2020-08-01 14:00:47 -05:00
2021-02-07 15:17:55 +01:00
2021-02-28 11:12:38 +08:00
2020-07-29 00:22:01 +02:00
2020-07-29 00:22:01 +02:00
2020-07-29 00:22:01 +02:00
2020-05-29 15:41:30 +02:00
2020-07-17 14:21:38 +02:00
2021-01-02 19:19:57 +01:00
2020-12-15 10:57:37 +02:00
2020-05-05 13:20:46 +02:00
2020-05-05 13:20:45 +02:00
2020-02-06 10:48:16 +02:00
2020-09-22 19:52:07 +01:00
2020-12-21 23:38:22 +01:00
2020-12-01 11:52:34 +01:00
2021-02-21 10:45:16 +02:00
2020-03-26 12:59:34 +01:00
2021-03-10 12:22:42 +02:00
2020-02-02 14:20:28 +01:00
2020-02-02 14:20:28 +01:00
2020-02-02 14:20:28 +01:00
2020-04-10 16:06:14 +02:00
2020-02-02 14:20:28 +01:00
2020-02-02 14:20:28 +01:00
2020-08-18 23:11:16 +02:00
2020-12-19 22:53:00 +01:00
2020-03-26 12:59:34 +01:00
2020-12-29 13:54:48 +01:00
2021-01-05 12:51:12 +01:00
2020-07-29 12:45:36 +03:00
2020-07-11 15:39:07 +02:00
2020-06-24 18:40:47 +03:00
2020-08-27 19:58:16 +02:00
2020-03-04 18:08:13 -05:00
2020-10-08 23:15:29 +02:00
2020-12-05 11:14:56 -06:00
2020-02-02 17:46:37 +01:00
2020-07-16 10:07:57 +02:00
2020-07-16 10:07:57 +02:00
2020-02-15 22:02:55 +01:00
2020-03-05 23:36:05 +01:00
2021-01-10 15:10:26 +02:00
2021-01-10 15:10:26 +02:00
2020-08-19 02:29:13 +02:00
2020-11-27 23:40:53 -05:00
2020-06-14 23:52:21 +02:00
2020-05-08 15:50:22 +02:00
2020-10-24 13:17:41 -07:00
2020-01-23 11:53:52 +01:00
2020-11-05 02:20:24 +01:00
2020-11-23 23:37:34 +01:00
2021-03-19 00:14:11 +01:00
2020-10-15 17:59:18 +02:00
2020-08-19 23:02:26 +02:00
2021-03-14 09:09:45 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 09:25:21 +02:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-14 06:11:20 +01:00
2021-03-26 22:52:33 +01:00
2021-04-02 23:22:14 +02:00
2020-05-06 10:57:30 +02:00
2020-08-16 16:07:47 -04:00
2020-05-06 22:49:55 +02:00
2020-06-05 19:33:10 +02:00
2020-09-01 04:44:34 +02:00
2020-06-30 17:44:38 +02:00
2021-02-28 03:03:39 +01:00
2021-04-02 19:22:33 +02:00
2020-06-27 20:08:24 +02:00
2020-09-02 18:09:01 -04:00
2020-04-04 23:17:55 -05:00
2020-04-04 23:17:55 -05:00
2020-04-04 23:17:55 -05:00
2020-04-04 23:17:55 -05:00
2020-07-13 12:52:52 +02:00
2020-11-05 18:44:20 +01:00
2021-03-06 04:47:10 +01:00
2021-03-06 04:47:10 +01:00
2021-03-30 02:21:25 +02:00
2020-03-04 10:52:52 +02:00
834aa48504