diff options
Diffstat (limited to 'games-board/stockfish/metadata.xml')
| -rw-r--r-- | games-board/stockfish/metadata.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/games-board/stockfish/metadata.xml b/games-board/stockfish/metadata.xml new file mode 100644 index 000000000000..1f5c48a54c2b --- /dev/null +++ b/games-board/stockfish/metadata.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer> + <email>yngwin@gentoo.org</email> + <name>Ben de Groot</name> + </maintainer> + <use> + <flag name='armv7'>Build for armv7; enables PIE</flag> + <flag name='general-32'>Generic unoptimized 32-bits build</flag> + <flag name='general-64'>Generic unoptimized 64-bits build</flag> + <flag name='optimize'>Enable upstream -O3 optimizations (default enabled)</flag> + </use> +</pkgmetadata> |