/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsparallel.tex | 58 Parallel {\eclipse} takes the following additional command line options: 74 version, in particular, all sequential command line options apply.
|
H A D | umsporting.tex | 174 for details. {\eclipse} has a number of options that make it possible
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/ |
H A D | makeengines.com | 94 $! OK, time to check options and initialise 254 $! Close the linker options file (for a real engine name). 453 $ WRITE SYS$OUTPUT "The option ",OPT_PHASE," is invalid. The valid options are:"
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/util/ |
H A D | mkerr.pl | 49 mkerr.pl [options] ...
|
H A D | mk1mf.pl | 92 print STDERR "usage: perl mk1mf.pl [options] [system]\n"; 97 and [options] can be one of 431 # Set your compiler options 1021 # Many options are handled in a similar way. In particular 1119 # There are also enable-xxx options which correspond to
|
/barrelfish-2018-10-04/usr/eclipseclp/Usc/src/ |
H A D | configure | 15 # Initialize some variables set by options. 16 # The variables have the same names as the options, with 71 # Accept the important Cygnus configure options, so we can diagnose typos. 134 # Omit some internal or obsolete options to make the list less imposing. 137 Usage: configure [options] [host] 184 echo "--enable and --with options recognized:$ac_help" 502 # CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
|
/barrelfish-2018-10-04/usr/eclipseclp/config/ |
H A D | config.guess | 1035 if test -f /usr/options/cb.name; then 1036 UNAME_REL=`sed -n 's/.*Version //p' </usr/options/cb.name`
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/ |
H A D | crypto-lib.com | 169 $! Build our options file for the application
|
/barrelfish-2018-10-04/include/vm/ |
H A D | vm_phys.c | 1182 u_long alignment, vm_paddr_t boundary, int options) 1212 alignment, boundary, options); 1181 vm_phys_scan_contig(u_long npages, vm_paddr_t low, vm_paddr_t high, u_long alignment, vm_paddr_t boundary, int options) argument
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ssl/ |
H A D | d1_clnt.c | 839 if (s->options & SSL_OP_PKCS1_CHECK_1) p[1]++; 840 if (s->options & SSL_OP_PKCS1_CHECK_2) tmp_buf[0]=0x70;
|
H A D | ssl.h | 541 /* DTLS options */ 606 /* Note: SSL[_CTX]_set_{options,mode} use |= op on the previous value, 791 unsigned long options; member in struct:ssl_ctx_st 1124 unsigned long options; /* protocol behaviour */ member in struct:ssl_st 1258 /* use either SSL_VERIFY_NONE or SSL_VERIFY_PEER, the last 2 options
|
H A D | s3_enc.c | 430 if (!(s->options & SSL_OP_DONT_INSERT_EMPTY_FRAGMENTS))
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | emu_c_env.c | 134 save_vm_status(vmcode *fail_code, int options) 167 if (options & EMU_INIT_WL) 191 if (options & EMU_INIT_GV) 133 save_vm_status(vmcode *fail_code, int options) argument
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | eprolog.tex | 303 write one term, format options can be selected. 410 existing options for the printing of \eclipse{} terms. 676 syntax settings (structures, operators, options, macros),
|
H A D | solversintro.tex | 227 of options and variants of the basic technique.
|
H A D | umsusing.tex | 57 options are available in the installed system. 229 The \guitext{File} menu of {\tkeclipse} provides various options to
|
H A D | setsolver.tex | 366 By using the heuristic options provided by insetdomain, we can
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | tracer_tty.pl | 603 Setting options:\n\ 605 o change print options\n\
|
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
H A D | configure | 15 # Initialize some variables set by options. 16 # The variables have the same names as the options, with 71 # Accept the important Cygnus configure options, so we can diagnose typos. 134 # Omit some internal or obsolete options to make the list less imposing. 137 Usage: configure [options] [host] 184 echo "--enable and --with options recognized:$ac_help" 502 # CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 163 {\eclipse}. {\bf You should use this command line options when running 183 // Create some default Eclipse options 1111 There are at present two options for creating an {\eclipse} engine from 1115 process of the Java virtual machine. These two options have in common that 1121 \label{sec:ji-eclipse-engine-options} 1127 The options can be specified by either looking them up in a {\it 1132 {\tt -D} command line options to the JVM) or you can use an {\it 1137 also ``set'' methods we can invoke on it to set the different options. 1294 \ref{sec:ji-eclipse-engine-options} for details of how to create and
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | eplexdiff.tex | 173 eplex. Using the \verb'use_var_names(yes)' options in setup should make
|
/barrelfish-2018-10-04/include/openssl/ |
H A D | ssl.h | 541 /* DTLS options */ 606 /* Note: SSL[_CTX]_set_{options,mode} use |= op on the previous value, 791 unsigned long options; member in struct:ssl_ctx_st 1124 unsigned long options; /* protocol behaviour */ member in struct:ssl_st 1258 /* use either SSL_VERIFY_NONE or SSL_VERIFY_PEER, the last 2 options
|
/barrelfish-2018-10-04/lib/libc/resolv/ |
H A D | res_debug.c | 131 * Print the current options. 137 fprintf(file, ";; res options:"); 139 if (statp->options & mask)
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | grace.pl | 190 :- compile(options). 593 %tcl('.options.menu.optimize entryconfigure all -state disabled'),
|
/barrelfish-2018-10-04/include/sys/ |
H A D | mount.h | 133 /* Mount options list */ 174 struct vfsoptlist *mnt_opt; /* current mount options */ 175 struct vfsoptlist *mnt_optnew; /* new options passed to fs */ 482 struct vfsoptdecl *vfc_opts; /* mount options */ 850 int vfs_buildopts(struct uio *auio, struct vfsoptlist **options);
|