Commit 4e1d998e authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Change the names of the 2 datalog directories

M    trunk/src/acg-data/Makefile.in
M    trunk/src/scripting/Makefile.in
M    trunk/src/Makefile.in
A  + trunk/src/datalog.solver
A  + trunk/src/datalog.prover
D    trunk/src/datalog
D    trunk/src/s_datalog
parent 01491c4d
......@@ -21,7 +21,7 @@
#SUBDIRS= utils logic grammars acg-data scripting lambda datalog
#SUBDIRS= utils logic grammars acg-data scripting datalog reduction s_datalog
SUBDIRS= utils logic s_datalog grammars acg-data scripting datalog
SUBDIRS= utils logic datalog.prover grammars acg-data scripting datalog.solver
ACG_DIR=scripting
ACGC_DIR=acg-data
......
......@@ -34,7 +34,7 @@ LIBS += dyp.cma str.cma
LIBDIR += @DYPGEN_INCLUDE@
# Directories to which the current source files depend on
PREVIOUS_DIRS = ../utils ../logic ../grammars ../s_datalog
PREVIOUS_DIRS = ../utils ../logic ../grammars ../datalog.prover
# Source files in the right order of dependance
......
......@@ -34,7 +34,7 @@ LIBS += dyp.cma str.cma
LIBDIR += @DYPGEN_INCLUDE@
# Directories to which the current source files depend on
PREVIOUS_DIRS = ../utils ../s_datalog ../logic ../grammars ../acg-data
PREVIOUS_DIRS = ../utils ../datalog.prover ../logic ../grammars ../acg-data
# Source files in the right order of dependance
......
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