From 61ea13715afe24b5dd5dd9c63f6c575286bb6574 Mon Sep 17 00:00:00 2001
From: Michael Gehring <mg@ebfe.org>
Date: Sun, 20 Nov 2016 09:12:01 +0000
Subject: [PATCH] virtuoso: nocross

---
 srcpkgs/virtuoso/template | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/srcpkgs/virtuoso/template b/srcpkgs/virtuoso/template
index 22d9101d664..b489a3129e1 100644
--- a/srcpkgs/virtuoso/template
+++ b/srcpkgs/virtuoso/template
@@ -12,6 +12,8 @@ license="GPL-2"
 homepage="http://virtuoso.openlinksw.com/wiki/main/Main/"
 distfiles="${SOURCEFORGE_SITE}/${pkgname}/${pkgname}-opensource-${version}.tar.gz"
 checksum=08d05c6165117de0370e81aa89ddab618e645b5110be301f72e6ffea7044ca50
+# cannot execute binary file: Exec format error
+nocross="https://build.voidlinux.eu/builders/armv6l_builder/builds/29187/steps/shell_3/logs/stdio"
 
 case "$XBPS_TARGET_MACHINE" in
 	*-musl) broken="#include <execinfo.h>";;