pkgs/development/interpreters/acl2/0002-Restrict-RDTSC-to-x86.patch

   1 From b0ccf68f277d0bd5e6fc9d41742f31ddda99a955 Mon Sep 17 00:00:00 2001
   2 From: Keshav Kini <keshav.kini@gmail.com>
   3 Date: Mon, 1 Jun 2020 21:42:24 -0700
   4 Subject: [PATCH 2/2] Restrict RDTSC to x86
   5
   6 Backported from [1].  According to Curtis Dunham, this should fix the ACL2 base
   7 system build on ARM.
   8
   9 [1]: https://github.com/acl2/acl2/commit/292fa2ccc6217e6307d7bb8373eb90f5d258ea5e
  10 ---
  11  memoize-raw.lisp | 2 +-
  12  1 file changed, 1 insertion(+), 1 deletion(-)
  13
  14 diff --git a/memoize-raw.lisp b/memoize-raw.lisp
  15 index 205e78653..478198dee 100644
  16 --- a/memoize-raw.lisp
  17 +++ b/memoize-raw.lisp
  18 @@ -189,7 +189,7 @@
  19  ;; RDTSC nonsense, but we still can report mysterious results since we have no
  20  ;; clue about which core we are running on in CCL (or, presumably, SBCL).
  21
  22 -#+(or ccl sbcl)
  23 +#+(and (or ccl sbcl) x86-64)
  24  (eval-when
  25   (:execute :compile-toplevel :load-toplevel)
  26   (when #+ccl (fboundp 'ccl::rdtsc)
  27 --
  28 2.25.4
  29