/
Portfile
60 lines (55 loc) · 2.15 KB
/
Portfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
# $Id$
PortSystem 1.0
name paparazzi-tools
version master-2012.06.06.01
categories devel
maintainers nomaintainer
description Paparazzi Developer Tools
long_description Paparazzi Developer Tools is the suite of applications and tools required for building and developing with Paparazzi.
homepage http://paparazzi.enac.fr/Wiki
master_sites
platforms darwin
depends_lib-append \
port:ocaml \
port:ocaml-findlib \
port:ocaml-pcre \
port:git-core \
port:xml-light \
port:caml-ocamlnet \
port:libftdi \
port:lablgtk2 \
port:gtk-theme-switch \
port:gnome-themes \
port:gmp \
port:mpfr \
port:libmpc \
port:wget \
port:ivy-c \
port:ivy-ocaml \
port:arm-none-eabi-binutils \
port:arm-none-eabi-gcc-linaro \
port:arm-none-eabi-gdb \
port:openocd \
port:libcmsis \
port:libstm32 \
port:libopencm3 \
port:jsbsim \
port:tkdiff \
port:ocaml-gsl \
port:py27-pyusb-devel \
port:py27-scipy \
port:python_Select
#found in paparazzi extras port:py26-scipy
distfiles
use_configure no
build { }
livecheck.type none
destroot {
# Create a dummy file so the port can be successfully activated
xinstall -d ${destroot}${prefix}/share/doc/paparazzi-tools
set docfile [open ${destroot}${prefix}/share/doc/paparazzi-tools/README.${name}.txt "w"]
puts $docfile "paparazzi-tools ${version} (MacPorts revision ${version}_${revision})\n"
puts $docfile "${long_description}\n"
close $docfile
}