diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | GNUmakefile | 3 | ||||
| -rw-r--r-- | src/Common.ml (renamed from Common.ml) | 0 | ||||
| -rw-r--r-- | src/Environment.ml (renamed from Environment.ml) | 0 | ||||
| -rw-r--r-- | src/Interpreter.ml (renamed from Interpreter.ml) | 0 | ||||
| -rw-r--r-- | src/Tamasheq.ml (renamed from Tamasheq.ml) | 0 | ||||
| -rw-r--r-- | src/helpers.c (renamed from helpers.c) | 0 |
7 files changed, 3 insertions, 2 deletions
@@ -1,5 +1,5 @@ *.cmi *.cmo +*.d *.o -.Makefile.dep tamasheq diff --git a/GNUmakefile b/GNUmakefile index 13f3608..1cabcc1 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,5 +1,6 @@ CFLAGS+= -Wall -Werror -D_GNU_SOURCE -std=c99 -CSRC= helpers.c +CSRC= src/helpers.c +EXCL= ostumake tests PKG= bigarray compiler-libs.bytecomp compiler-libs.common PKG+= compiler-libs.toplevel PROG= tamasheq diff --git a/Common.ml b/src/Common.ml index a477b58..a477b58 100644 --- a/Common.ml +++ b/src/Common.ml diff --git a/Environment.ml b/src/Environment.ml index dab9bce..dab9bce 100644 --- a/Environment.ml +++ b/src/Environment.ml diff --git a/Interpreter.ml b/src/Interpreter.ml index 63067d5..63067d5 100644 --- a/Interpreter.ml +++ b/src/Interpreter.ml diff --git a/Tamasheq.ml b/src/Tamasheq.ml index ebd8d7c..ebd8d7c 100644 --- a/Tamasheq.ml +++ b/src/Tamasheq.ml diff --git a/helpers.c b/src/helpers.c index 27e9430..27e9430 100644 --- a/helpers.c +++ b/src/helpers.c |