Hello Jason,
applying the patch for compat.h resolves - compiling works fine. However the Netlink headers libmnl.h were missing, seems there is no standard RHEL8-dev package for the library, had to take it from netfilter.org/Fedora. Then OK:

[ 9386.069776] wireguard: WireGuard 0.0.20190601-7-g44070b9-dirty loaded. See www.wireguard.com for information.

[root@paris src]# wg show
interface: wg0

-- Mike


On Fri, Jun 28, 2019 at 2:32 PM Jason A. Donenfeld <Jason@zx2c4.com> wrote:
This commit fixes it and will be included in the next snapshot:
https://git.zx2c4.com/WireGuard/commit/?id=80f006d3656ce2858675020a23879e916ea8a4fc

[ec2-user@ip-172-31-24-82 ~]$ cat /etc/redhat-release
Red Hat Enterprise Linux release 8.0 (Ootpa)
[ec2-user@ip-172-31-24-82 ~]$ uname -a
Linux ip-172-31-24-82.eu-west-1.compute.internal
4.18.0-80.4.2.el8_0.x86_64 #1 SMP Fri Jun 14 13:20:24 UTC 2019 x86_64
x86_64 x86_64 GNU/Linux
[ec2-user@ip-172-31-24-82 ~]$ sudo ip link add wg0 type wireguard
[ec2-user@ip-172-31-24-82 ~]$ sudo wg
interface: wg0
[ec2-user@ip-172-31-24-82 ~]$ dmesg | grep wireguard
[  693.365784] wireguard: loading out-of-tree module taints kernel.
[  693.382433] wireguard: module verification failed: signature and/or
required key missing - tainting kernel
[  693.390216] wireguard: WireGuard 0.0.20190601-8-g9e71cce-dirty
loaded. See www.wireguard.com for information.
[  693.397561] wireguard: Copyright (C) 2015-2019 Jason A. Donenfeld
<Jason@zx2c4.com>. All Rights Reserved.