| Line 1... |
Line 1... |
| 1 |
###############################################################################
|
1 |
###############################################################################
|
| 2 |
# Copyright (c) VIX TECHNOLOGY (AUST) LTD
|
2 |
# COPYRIGHT - VIX IP PTY LTD ("VIX"). ALL RIGHTS RESERVED.
|
| 3 |
#
|
3 |
#
|
| 4 |
# File: TOOLSET/VERIX.def
|
4 |
# File: TOOLSET/VERIX.def
|
| 5 |
# Contents: VERIX rules as used for the Verix V SDK
|
5 |
# Contents: VERIX rules as used for the Verix V SDK
|
| 6 |
# Make definitions for the Verix Tools
|
6 |
# Make definitions for the Verix Tools
|
| 7 |
#
|
7 |
#
|
| Line 43... |
Line 43... |
| 43 |
endif
|
43 |
endif
|
| 44 |
|
44 |
|
| 45 |
|
45 |
|
| 46 |
.PHONY: VERIX
|
46 |
.PHONY: VERIX
|
| 47 |
verix:
|
47 |
verix:
|
| 48 |
@if [ -z "$$GBE_VERIXV" ]; then echo GBE_VERIXV env var not set; exit 2; fi; \
|
48 |
@if [ -z "$$GBE_VERIXV" ]; then echo "GBE_VERIXV env var not set"; exit 2; fi; \
|
| 49 |
if [ -z "$$GBE_VERIXV_ARM" ]; then echo GBE_VERIXV_ARM env var not set; exit 2; fi; \
|
49 |
if [ -z "$$GBE_VERIXV_ARM" ]; then echo "GBE_VERIXV_ARM env var not set"; exit 2; fi; \
|
| 50 |
if [ -z "$$GBE_VERIXV_SIGN" ]; then echo GBE_VERIXV_SIGN env var not set; exit 2; fi; \
|
50 |
if [ -z "$$GBE_VERIXV_SIGN" ]; then echo "GBE_VERIXV_SIGN env var not set"; exit 2; fi; \
|
| 51 |
if [ ! -d "$$GBE_VERIXV" ]; then echo "ERROR: GBE_VERIXV directory not found ($$GBE_VERIXV). Compiler not available"; exit 2; fi; \
|
51 |
if [ ! -d "$$GBE_VERIXV" ]; then echo "ERROR: GBE_VERIXV directory not found ($$GBE_VERIXV). Compiler not available"; exit 2; fi; \
|
| 52 |
if [ ! -d "$$GBE_VERIXV_ARM" ]; then echo "ERROR: GBE_VERIXV_ARM directory not found ($$GBE_VERIXV_ARM). Compiler not available"; exit 2; fi; \
|
52 |
if [ ! -d "$$GBE_VERIXV_ARM" ]; then echo "ERROR: GBE_VERIXV_ARM directory not found ($$GBE_VERIXV_ARM). Compiler not available"; exit 2; fi; \
|
| 53 |
if [ ! -d "$$GBE_VERIXV_SIGN" ]; then echo "ERROR: GBE_VERIXV_SIGN directory not found ($$GBE_VERIXV_SIGN). FileSign Tool not available"; exit 2; fi; \
|
53 |
if [ ! -d "$$GBE_VERIXV_SIGN" ]; then echo "ERROR: GBE_VERIXV_SIGN directory not found ($$GBE_VERIXV_SIGN). FileSign Tool not available"; exit 2; fi; \
|
| 54 |
echo "[Toolset Verifone VERIX]";
|
54 |
echo "[Toolset Verifone VERIX]";
|
| 55 |
|
55 |
|