summaryrefslogtreecommitdiffstats
path: root/config/setup/Kconfig
blob: b80314f916b9514cc8e0770ef3892b8bc0400bf5 (plain)
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
#
# config/Kconfig: Main menu structure definition
# Copyright (C) Robert Schwebel <r.schwebel@pengutronix.de> 2002-2008
#

mainmenu "Setup"

comment "PTXDIST Setup Menu"

menu "Proxies           "

config SETUP_FTP_PROXY
	prompt "FTP Proxy"
	string
	default ""
	help
	  If you have to use a proxy for FTP transfers, please add the
	  proxy URL here. Example:

	              http://your.proxy.org:80

config SETUP_HTTP_PROXY
	prompt "HTTP Proxy"
	string
	default ""
	help
	  If you have to use a proxy for HTTP transfers, please add the
	  proxy URL here. Example:

	              http://your.proxy.org:80

endmenu

menu "Project Searchpath"

config SETUP_PROJECTPATH
	prompt "Project Searchpath "
	string
	default "${PTXDIST_TOPDIR}/projects"
	help
	  This path is used to search for project templates when
	  running 'ptxdist projects'. You can clone the projects
	  specified in this path with 'ptxdist clone'. The path
	  is a : separated list.

endmenu

menu "Source Directories"

config SETUP_SRCDIR
	prompt "Source Directory"
	string

config SETUP_KERNELDIR_PREFIX
	prompt "Prefix for kernel trees"
	string
	help
	  You can set this prefix to a directory where you collect
	  kernel trees (like a collection of working trees from one
	  or more GIT repositories). This is used in combination with
	  'Local kernel tree' in platformconfig.

endmenu

menu "Mirrors           "

config SETUP_DEBMIRROR
        string
        default "http://ftp.uni-kl.de/debian"
        prompt "Debian Pool Mirror"
        help
          The Debian pool mirror to use for downloading various
	  components of the target root filesystem.

config SETUP_SFMIRROR
        string
        default "http://surfnet.dl.sourceforge.net/sourceforge"
        prompt "Sourceforge Mirror"

config SETUP_GNUMIRROR
        string
        default "http://ftp.uni-kl.de/pub/gnu"
        prompt "GNU.org Mirror"

config SETUP_XORGMIRROR
        string
        default "http://ftp.gwdg.de/pub/x11/x.org/pub"
        prompt "x.org Mirror"

endmenu

menu "IPKG Repository   "

config SETUP_IPKG_REPOSITORY
	string
	default "/var/www/ipkg-repository"
	prompt "Path to IPKG Repository"
	help
	  PTXdist can be used to update an IPKG server which is
	  accessable via a mounted path. Run 'make ipkg-push'
	  to push the packets from $IMAGEDIR to the server dir
	  which is specified here.

	  FIXME: add mechanism to use other transports than cp.
endmenu

menu "Java SDK          "

config SETUP_JAVA_SDK
	string
	default "/usr"
	prompt "Java SDK"
	help
	  Specify the path to your Java SDK; this is needed if Java
	  programs are being compiled by PTXdist, for example
	  if you have selected JVisu.

endmenu

menu "Developer Options "

#config SETUP_CHECK_OMIT_CASE
#       bool "don't check for case sensitive file system"

#config SETUP_CHECK_OMIT_SPACES
#       bool "don't check for spaces in important directories"

config SETUP_CHECK_EXIT_ON_ERROR
       bool "enable exit on error"

endmenu