Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

moved the source of the compiler to a directory

  • Loading branch information...
commit ed3028f21b2f021d8f412a8b4b0eaa587f6bbf23 1 parent 485e9f9
@pikatchu authored
Showing with 41 additions and 12 deletions.
  1. +10 −12 { → compiler}/Makefile
  2. 0  { → compiler}/ast.ml
  3. 0  { → compiler}/boundCheck.ml
  4. 0  { → compiler}/emit.ml
  5. 0  { → compiler}/error.ml
  6. 0  { → compiler}/est.ml
  7. 0  { → compiler}/estCompile.ml
  8. 0  { → compiler}/estNormalizePatterns.ml
  9. 0  { → compiler}/estOfIst.ml
  10. 0  { → compiler}/estOptim.ml
  11. 0  { → compiler}/estPp.ml
  12. 0  { → compiler}/estSubst.ml
  13. 0  { → compiler}/eval.ml
  14. 0  { → compiler}/extractFuns.ml
  15. 0  { → compiler}/global.ml
  16. 0  { → compiler}/id.ml
  17. 0  { → compiler}/ident.ml
  18. 0  { → compiler}/ident.mli
  19. 0  { → compiler}/ids.ml
  20. 0  { → compiler}/ist.ml
  21. 0  { → compiler}/istOfStast.ml
  22. 0  { → compiler}/istOptim.ml
  23. 0  { → compiler}/istRecords.ml
  24. 0  { → compiler}/lexer.mll
  25. 0  { → compiler}/linearCheck.ml
  26. 0  { → compiler}/llst.ml
  27. 0  { → compiler}/llstFree.ml
  28. 0  { → compiler}/llstOfEst.ml
  29. 0  { → compiler}/llstOptim.ml
  30. 0  { → compiler}/llstPp.ml
  31. 0  { → compiler}/llstRemoveUnit.ml
  32. 0  { → compiler}/main.ml
  33. 0  { → compiler}/naming.ml
  34. 0  { → compiler}/nast.ml
  35. 0  { → compiler}/nastCheck.ml
  36. 0  { → compiler}/nastExpand.ml
  37. 0  { → compiler}/neast.ml
  38. 0  { → compiler}/neastCheck.ml
  39. 0  { → compiler}/parser.mly
  40. 0  { → compiler}/pos.ml
  41. 0  { → compiler}/recordCheck.ml
  42. 0  { → compiler}/stast.ml
  43. 0  { → compiler}/stastCheck.ml
  44. 0  { → compiler}/stastOfTast.ml
  45. 0  { → compiler}/tast.ml
  46. 0  { → compiler}/typing.ml
  47. 0  { → compiler}/utils.ml
  48. +31 −0 licence.txt
View
22 Makefile → compiler/Makefile
@@ -1,7 +1,6 @@
OCAMLBIN =
OCAMLLIB ?= /usr/lib/ocaml/llvm-2.8
-STDLIB_PATH = /home/pika/LinearML/stdlib/
OCAMLC = ocamlc -dtypes -warn-error A
OCAMLOPT = ocamlopt
@@ -23,11 +22,10 @@ LIBS = unix.cma $(LLVM_LIBS)
LIBSOPT = $(LIBS:.cma=.cmxa)
INCLUDE = -I $(OCAMLLIB)
CLIBS = $(addprefix $(OCAMLLIB)/, $(LLVM_LIBS:.cma=.a))
-LIML_STDLIB = -ccopt -Lstdlib -ccopt -lliml
-default: liml
+default: limlc
-.PHONY: liml
+.PHONY: limlc
OBJECTS_ML = \
genGlobals.ml\
@@ -85,14 +83,14 @@ OBJECTS_ML = \
OBJECTS_CMO = $(OBJECTS_ML:.ml=.cmo)
OBJECTS_CMX = $(OBJECTS_ML:.ml=.cmx)
-liml: $(OBJECTS_CMX) stdlib/libliml.so
+limlc: $(OBJECTS_CMX) ../stdlib/libliml.a
echo $(LIBS)
$(OCAMLOPT) -cc $(CC) $(INCLUDE) -linkall $(CLIBS) $(LIBSOPT) $(OBJECTS_CMX) \
- $(LIML_STDLIB) -o $@
+ -o $@
-liml.bc: $(OBJECTS_CMO) stdlib/libliml.so
+limlc.bc: $(OBJECTS_CMO) ../stdlib/libliml.a
$(OCAMLC) -g -cc $(CC) $(INCLUDE) $(LIBS) $(OBJECTS_CMO) \
- $(LIML_STDLIB) -o $@
+ -o $@
##############################################################################
@@ -116,9 +114,9 @@ liml.bc: $(OBJECTS_CMO) stdlib/libliml.so
genGlobals.ml:
echo "let root = \"$(STDLIB_PATH)\"" > genGlobals.ml
-stdlib/libliml.so:
+../stdlib/libliml.a:
@echo "Compiling the standard library"
- cd stdlib && make
+ cd ../stdlib && make
.depend: $(OBJECTS_ML)
$(OCAMLDEP) -native -slash $(INCLUDE) $(OBJECTS_ML) > .depend
@@ -126,10 +124,10 @@ stdlib/libliml.so:
clean:
rm -f *.cm* pkl *~ lexer.ml parser.ml parser.mli lexer.mli *.o* \#*
rm -f limlc limlc.bc liml liml.bc *.annot .depend
- rm -f stdlib/*.o stdlib/*.s stdlib/*.bc stdlib/*~ test/*.o test/*.s
+ rm -f test/*.o test/*.s
rm -f test/*.bc test/*~
rm -f genGlobals.ml
- cd stdlib && make clean
+ cd ../stdlib && make clean
-include .depend
-include Makefile.config
View
0  ast.ml → compiler/ast.ml
File renamed without changes
View
0  boundCheck.ml → compiler/boundCheck.ml
File renamed without changes
View
0  emit.ml → compiler/emit.ml
File renamed without changes
View
0  error.ml → compiler/error.ml
File renamed without changes
View
0  est.ml → compiler/est.ml
File renamed without changes
View
0  estCompile.ml → compiler/estCompile.ml
File renamed without changes
View
0  estNormalizePatterns.ml → compiler/estNormalizePatterns.ml
File renamed without changes
View
0  estOfIst.ml → compiler/estOfIst.ml
File renamed without changes
View
0  estOptim.ml → compiler/estOptim.ml
File renamed without changes
View
0  estPp.ml → compiler/estPp.ml
File renamed without changes
View
0  estSubst.ml → compiler/estSubst.ml
File renamed without changes
View
0  eval.ml → compiler/eval.ml
File renamed without changes
View
0  extractFuns.ml → compiler/extractFuns.ml
File renamed without changes
View
0  global.ml → compiler/global.ml
File renamed without changes
View
0  id.ml → compiler/id.ml
File renamed without changes
View
0  ident.ml → compiler/ident.ml
File renamed without changes
View
0  ident.mli → compiler/ident.mli
File renamed without changes
View
0  ids.ml → compiler/ids.ml
File renamed without changes
View
0  ist.ml → compiler/ist.ml
File renamed without changes
View
0  istOfStast.ml → compiler/istOfStast.ml
File renamed without changes
View
0  istOptim.ml → compiler/istOptim.ml
File renamed without changes
View
0  istRecords.ml → compiler/istRecords.ml
File renamed without changes
View
0  lexer.mll → compiler/lexer.mll
File renamed without changes
View
0  linearCheck.ml → compiler/linearCheck.ml
File renamed without changes
View
0  llst.ml → compiler/llst.ml
File renamed without changes
View
0  llstFree.ml → compiler/llstFree.ml
File renamed without changes
View
0  llstOfEst.ml → compiler/llstOfEst.ml
File renamed without changes
View
0  llstOptim.ml → compiler/llstOptim.ml
File renamed without changes
View
0  llstPp.ml → compiler/llstPp.ml
File renamed without changes
View
0  llstRemoveUnit.ml → compiler/llstRemoveUnit.ml
File renamed without changes
View
0  main.ml → compiler/main.ml
File renamed without changes
View
0  naming.ml → compiler/naming.ml
File renamed without changes
View
0  nast.ml → compiler/nast.ml
File renamed without changes
View
0  nastCheck.ml → compiler/nastCheck.ml
File renamed without changes
View
0  nastExpand.ml → compiler/nastExpand.ml
File renamed without changes
View
0  neast.ml → compiler/neast.ml
File renamed without changes
View
0  neastCheck.ml → compiler/neastCheck.ml
File renamed without changes
View
0  parser.mly → compiler/parser.mly
File renamed without changes
View
0  pos.ml → compiler/pos.ml
File renamed without changes
View
0  recordCheck.ml → compiler/recordCheck.ml
File renamed without changes
View
0  stast.ml → compiler/stast.ml
File renamed without changes
View
0  stastCheck.ml → compiler/stastCheck.ml
File renamed without changes
View
0  stastOfTast.ml → compiler/stastOfTast.ml
File renamed without changes
View
0  tast.ml → compiler/tast.ml
File renamed without changes
View
0  typing.ml → compiler/typing.ml
File renamed without changes
View
0  utils.ml → compiler/utils.ml
File renamed without changes
View
31 licence.txt
@@ -0,0 +1,31 @@
+(*
+Copyright (c) 2011, Julien Verlaguet
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+1. Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the
+distribution.
+
+3. Neither the name of Julien Verlaguet nor the names of
+contributors may be used to endorse or promote products derived
+from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*)
Please sign in to comment.
Something went wrong with that request. Please try again.