From 50aef368f6661fce958b60c35ec984aa7e823588 Mon Sep 17 00:00:00 2001
From: Aleksandar Topuzovic <aleksandar.topuzovic@gmail.com>
Date: Tue, 2 Jan 2018 11:32:17 +0100
Subject: [PATCH] Add support for armv7l

* GCC running on Raspberry Pi 3 on Arch linux ARM reports arch as
  armv7l-unknown-linux-gnueabihf
---
 make-linux.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/make-linux.mk b/make-linux.mk
index 87d29afe2..db85a89f1 100644
--- a/make-linux.mk
+++ b/make-linux.mk
@@ -130,6 +130,11 @@ ifeq ($(CC_MACH),armv7)
 	override DEFS+=-DZT_NO_TYPE_PUNNING
 	ZT_USE_ARM32_NEON_ASM_SALSA2012=1
 endif
+ifeq ($(CC_MACH),armv7l)
+        ZT_ARCHITECTURE=3
+	override DEFS+=-DZT_NO_TYPE_PUNNING
+	ZT_USE_ARM32_NEON_ASM_SALSA2012=1
+endif
 ifeq ($(CC_MACH),arm64)
         ZT_ARCHITECTURE=4
 	override DEFS+=-DZT_NO_TYPE_PUNNING