Commit de74d6bc authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

target added for installation procedure. A README file is added

parent 5da85398
......@@ -6,19 +6,34 @@ Then run:
make
It should compile all the source under ./src/ and produce some of the
executables. Then you can run for instance:
to get the bytecode executable, or
src/lambda/test
make opt
or
src/acg-data/test
to get native code binaries
or
It should produce executables in the current directory: acgc (or
acgc.opt for the native code executable) and acg (or acg.opt for the
native code executable).
src/acg-data/test --help
If you wan to install it (use ./configure --help to set the
installation directory if you don't want to have it in
/usr/local/bin), run:
to have some help,
or
make install
src/scripting/test
\ No newline at end of file
If you wan to uninstall it then run:
make uninstall
*********************
** For developpers **
*********************
You can get the documented API in all ./src subdirectories getting
there and running:
make doc
It will create a doc subdirectory with htm files.
PHONY: config test
PHONY: config byte opt clean superclean install
BINARIES=acgc acgc.opt acg acg.opt
test opt:
prefix = /usr/local
exec_prefix = ${prefix}
byte opt:
$(MAKE) -C src $@
for file in $(BINARIES); do find . -name "$$file" -exec cp {} . \; ; done
all: byte opt
superclean clean:
if test "$@" = clean ; then $(MAKE) -C config $@ ; fi
......@@ -14,6 +19,11 @@ superclean clean:
find data/. -name "*~" -exec rm -f {} \;
-for file in $(BINARIES); do rm $$file ; done
install:
for file in $(BINARIES); do if test -x $$file ; then cp $$file ${exec_prefix}/bin/. ; fi ; done
uninstall:
for file in $(BINARIES); do if test -x ${exec_prefix}/bin/$$file ; then rm ${exec_prefix}/bin/$$file ; fi ; done
# Part for the auto configuration
......
PHONY: config test
PHONY: config byte opt clean superclean install
BINARIES=acgc acgc.opt acg acg.opt
test opt:
prefix = @prefix@
exec_prefix = @exec_prefix@
byte opt:
$(MAKE) -C src $@
for file in $(BINARIES); do find . -name "$$file" -exec cp {} . \; ; done
all: byte opt
superclean clean:
if test "$@" = clean ; then $(MAKE) -C config $@ ; fi
......@@ -14,6 +19,11 @@ superclean clean:
find data/. -name "*~" -exec rm -f {} \;
-for file in $(BINARIES); do rm $$file ; done
install:
for file in $(BINARIES); do if test -x $$file ; then cp $$file @bindir@/. ; fi ; done
uninstall:
for file in $(BINARIES); do if test -x @bindir@/$$file ; then rm @bindir@/$$file ; fi ; done
# Part for the auto configuration
......
This distribution provides two executables (possibly with the .opt
extension, see the INSTALL file):
acgc
and
acg
************
*** acgc ***
************
acgc is a "compiler" of ACG source code, i.e. files containing
definitions of signarures and lexicons. It basically checks whether
they are correctly written (syntactically and wrt types and constant
typing). An interactive mode is available to parse terms according to
signatures.
Run
./acgc -help
to get help
***********
*** acg ***
***********
acg is an interpreter of command meant to be useful when using
ACGs. To get a list of command, run
./acg
then on the prompt type
help;
Example files are given in the ./examples directory
......@@ -2,7 +2,7 @@ PHONY: test
SUBDIRS= utils logic grammars acg-data scripting lambda
test:
byte:
$(foreach dir,$(SUBDIRS),$(MAKE) -r -S -C $(dir) byte;)
opt:
......
......@@ -2,7 +2,7 @@ PHONY: test
SUBDIRS= utils logic grammars acg-data scripting lambda
test:
byte:
$(foreach dir,$(SUBDIRS),$(MAKE) -r -S -C $(dir) byte;)
opt:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment