MARIA-CSO(1) General Commands Manual MARIA-CSO(1)NAME
maria-cso - shared library generator for maria
SYNOPSIS
maria-cso directory library.so file.c...
maria-cso directory library.so file.c
DESCRIPTION
This manual page documents briefly the maria-cso command.
maria-cso is a shell script invoked by maria in order to compile generated C code into dynamically loadable shared object files. The
script invokes the C compiler and the linker, and it calculates checksums in order to avoid compiling unmodified modules.
The directory argument specifies the location of the source files. When the script is invoked with one file.c argument, it translates the
file to the shared object library.so.
When maria-cso is invoked with multiple file.c arguments, it computes a checksum of a file named multiset.h and of each argument. When the
header file multiset.h has been changed since the previous invocation of maria-cso, everything will be recompiled. Otherwise only those
file.c modules that have been modified will be recompiled. The checksum files are multiset.sum and c.sum.
SEE ALSO maria(1), sh(1).
ENVIRONMENT VARIABLES
CC Name of the C compiler
CFLAGS Command-line switches to be passed to the C compiler
DEFINES
Preprocessor macro definitions to be passed to the C compiler
FILES
/usr/share/maria/runtime/*.h
Header files for the run-time library
AUTHOR
This manual page was written by Marko Makela <msmakela@tcs.hut.fi>. The maria-cso script and the compilation option were designed and
implemented by Marko Makela. Please see the copyright file in /usr/share/doc/maria for details.
August 10, 2001 MARIA-CSO(1)
Check Out this Related Man Page
LBT(1) General Commands Manual LBT(1)NAME
lbt - LTL to Buchi Translator
SYNOPSIS
lbt < formula.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot
DESCRIPTION
This manual page documents briefly the lbt and lbt2dot commands. This manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page. Instead, it has documentation in HTML format; see below.
lbt is a filter that translates a linear temporal logic (LTL) formula to a corresponding generalized Buchi automaton. The translation is
based on the algorithm by Gerth, Peled and Vardi presented at PSTV'95, Simple on-the-fly automatic verification of linear temporal logic.
Hardly any optimizations are implemented, and the generated automaton is often bigger than necessary. But on the other hand, it should
always be correct.
The filter lbt2dot can be used to translate Buchi automata from the lbt output format to GraphViz format for visualization.
EXAMPLE
echo G p0 | lbt | lbt2dot | dotty -
SEE ALSO dotty(1).
FILES
/usr/share/doc/lbt/html/index.html
The real documentation for LBT.
AUTHOR
This manual page was written by Marko Makela <msmakela@tcs.hut.fi>, for the Debian GNU/Linux system (but may be used by others). The lbt
program was written by Mauno Ronkko and Heikki Tauriainen, and it was optimized by Marko Makela, who also wrote the lbt2dot filter. Please
see the copyright file in /usr/share/doc/lbt for details.
August 10, 2001 LBT(1)
I'm doing a short batch script to compile po files producing output binary mo files.
The compilation command is:
msgfmt -o file.mo file.po
so in order to compile I am appending .mo to the varible in a loop.
It goes something like this:
for i in `find . -name "*.po"`
do
echo... (2 Replies)
I need to find the line count of multiple strings in a particular file. The strings are as follows:
bmgcc
bmgccftp
bsmsftp
bulkftp
cctuneftp
crbtftp
crmpos
cso
gujhr
I am doing manual grep for each of the string to find the line count. The command i am using right now is:
grep mark... (3 Replies)
Hi,
I have created a shared object (abc.so) which has a function sum(int a, int b).
Is there any way to load the "abc.so" and use the sum function using shell script..
thanks in advance (2 Replies)
Hi all
As quite newbie in shell scripting i need your help.
The case: two files with question mark delimeter:
file1.txt:
A; B; D; E;
file2.txt:
a,antonis,red; b,maria,green; c,george,blue; d,jack,red; e,Helen,yellow; k,konstantin,black;
I need an effiecient way of parsing while it... (2 Replies)
Hi there. i'm new user at here
I need help for this. I need to write a script that maintains a database of cryptographic checksums. In other words, I need this script to check the files checksum whether the files has been modified or not. But i got no idea where to start. Hope anyone here can... (8 Replies)
How do I write a bash or ruby or perl or groovy script to print all the files in my directory tree that are one-to-two years old, the size of each file, and the sum of file sizes and then delete them?
I was using
find . -atime +365 -exec rm '{}' \;
but the problem was that I could not... (5 Replies)
hey all,
could someone explain or at least give me some pointers as to how to compile a compiler. I'm thinking about experimenting with operating systems and the Mach kernel. Now if I get an OS built on the Mach kernel to work how can I compile a compiler for it, because to me this is an... (10 Replies)
Hello,
Im using the g++(g++ Ubuntu/Linaro 4.4.4-14ubuntu5 4.4.5) and im trying to compile a small snippet code and got into an endless loop.I recompiled that in VS2010 under Windows 7 and the answer is as expected.so i wonder is this a bug of g++?here is my code.
#include<iostream>
using... (5 Replies)
Hi Guys,
I am trying to pass arguments to the script i am wrinting.
When no argument is passed or wrong argument is passed, the script needs to output the way it needs to be called and exit.
Currently, when no arguments is passed, it is not getting exited but goes on assuming those... (3 Replies)
Yes, it's that minefield again. I'm building an AJAX database interface which uses maria/mysql logins instead of keeping a bunch of its own private logins, to try and keep it simple.
The thorny bit is, of course, the passwords. Doing this requires it to remember passwords between sessions, not... (4 Replies)
What are the basic conditions to use other people's library in C/C++ coding?
Here I do not mean the compiling step, but at the step of writing source code (from scratch in a way!).
When using Standard C/C++ Library normally the header (.h/hpp) and corresponding implementation (.c/.cpp) files are... (7 Replies)
Hi Folks,
I need a UNIX script which will copy files(Table wise) from source directory to destination directory (Under table directory) and also creates 2 additional files after getting copied to destination directory with extension .pdy and .ldy , . pdy file will be zero byte file should get... (4 Replies)
1. The problem statement, all variables and given/known data:
Write a shell script that finds and display the sum of even positive integers from 0 to 100. Use the while control structure. Show your script and a sample run.
2. Relevant commands, code, scripts, algorithms:
Must us a while... (8 Replies)