06-25-2005
make utility
Thats fine, No Problem
regards
victor
10 More Discussions You Might Find Interesting
1. Programming
The following is my makefile. When I run "make", it gives me a bunch of error. I've compiled each file separately and there are no compilation errors.
The target is "monprc". Have a look below:
monprc: monprc.o monrep.o dsz.o
cc -o monprc monprc.o monrep.o dsz.o
monprc.o: monprc.c... (1 Reply)
Discussion started by: Yifan_Guo
1 Replies
2. Programming
I wrote a makefile, every thing is working fine,
But One of the C header files which is created by me is kept in a different folder other than the current directory,
I have given this PATH to VPATH Variable
Example :- VPATH = /home/user1/projects/victor.h
It gives an error as : file... (4 Replies)
Discussion started by: victorvvk
4 Replies
3. Solaris
Hi Guys,
I m very confused about the make/makefile utility in all unix.
1) My questions is why we need make.
2) Why some source code needs to complile.
3) I download the Bind 9 from Sunfreeware.com. I use pkgadd -d to install the bind. I 'm struck here becasue I can't find /etc/named.conf... (2 Replies)
Discussion started by: bigmoon
2 Replies
4. UNIX for Dummies Questions & Answers
Hello all
im looking for some kind of utility that convert make files to dsp files
is there any kind of tool/script that does this job?
thanks (1 Reply)
Discussion started by: umen
1 Replies
5. Solaris
(Sorry for previous not on enlish! I did not realized it is english forum. )
I am looking for help with Make utility. I could not get help from the 'man' pages.
1. About Macro (as a variable): It is clear about defining any macro in beginning or in command line, but isn't it no way to redefine... (0 Replies)
Discussion started by: alex_5161
0 Replies
6. UNIX for Dummies Questions & Answers
Hi want to know the syntax of printing something (value or variable) in GNU make utility. I give this in the Makefile:
echo "Hi"
OR
@echo "Hi"
But I only get error this when I run make (at the line where I have echo):
Makefile:9: *** missing separator. Stop.
Whats the problem? How can... (2 Replies)
Discussion started by: radiatejava
2 Replies
7. Programming
Hi,
I'm trying to create a C program that functions like the make utility in UNIX for personal use. My program would read in from a generic makefile and execute whatever is in that makefile but I'm not sure as to where I should start coding.
I would appreciate any help.
Thanks. (1 Reply)
Discussion started by: kratos.
1 Replies
8. Programming
Hi,
Could someone tell me why make utility is mostly preferred for compilation and generating executable in UNIX rather than any user created scripts which contains commands for compilation? (2 Replies)
Discussion started by: naan
2 Replies
9. UNIX for Dummies Questions & Answers
Hello,
I'm a recent convert to UNIX and I'm attempting to understand exactly how the make utility is working under the hood.
Now, I understand that each rule has a target, dependencies, and update command, but the thing I'm confused about is exactly how the utility is determining when to... (1 Reply)
Discussion started by: kramer_102
1 Replies
10. Programming
xmake is a make-like build utility based on lua. (Link to project site: xmake)
The project focuses on making development and building easier and provides many features (.e.g package, install, plugin, macro, action, option, task ...), so that any developer can quickly pick it up and enjoy the... (1 Reply)
Discussion started by: waruqi
1 Replies
LEARN ABOUT DEBIAN
victor
victor(1) victor(1)
NAME
victor - attempts to discharge verification conditions using SMT solvers
SYNOPSIS
victor [UNIT]
DESCRIPTION
The victor command is a wrapper around ViCToR (vct) which simplifies its use. ViCToR translates SPARK verification conditions into SMTlib
and feeds them to an SMT solver. SPARK ships with one such SMT solver, alt-ergo, but it is possible to use others solvers such as cvc3.
The intended use of victor is to discharge true VCs left over by the Simplifier and not replace the Simplifier. Please also note that ViC-
ToR is considered to be an experimental feature at the moment.
This manual page only summarises the victor command-line flags, please refer to the full VictorWrapper manual for further information.
OPTIONS
These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.
-h, -help
Shows command-line help.
-t=SECONDS
Time-out the SMT solver after this many seconds (by default 5) using ulimit. To disable time-out specify 0.
-m=MEGABYTES
Limit the SMT solver to this many MiB of virtual memory (by default no limit) using ulimit.
-v Ignore the presence of any siv files and process vcg files only. By default, given a UNIT such as foo, victor will first attempt to
process foo.siv and then fall back to foo.vcg.
-plain Plain mode -- supress timings and versions.
-solver=SOLVER
Specifies an alternative SMT solver. By default we use alt-ergo. Can be one of alt-ergo, cvc3, yices or z3. The alt-ergo solver is
distributed with SPARK. The cvc3 solver is part of Debian. The yices and z3 solvers are proprietary.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), zombiescope(1), pogs(1)
sparkformat(1), sparkmake(1)
cvc3(1)
AUTHOR
This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
Texts.
22 March 2011 victor(1)