Commits

HongboZhang  committed f47257f

readme

  • Participants
  • Parent commits e8584e2

Comments (0)

Files changed (10)

+###  README --- /home1/h/hongboz/html/hongbo_zhang_files/dsl/
+
+## Copyright 2012 Hongbo Zhang
+##
+## Author: hongboz@ampersand.seas.upenn.edu
+## Keywords: 
+Usage:
+
+        make clean
+        make dsl
+
+then you will see a link to DSL_util.byte
+
+         DSL_util.byte < leader_sce.ml
+         or type line by line to check
+
+Config:
+        Check config.in to set up
+
+
+
+
+###  README --- /home1/h/hongboz/html/hongbo_zhang_files/dsl/
+
+## Copyright 2012 Hongbo Zhang
+##
+## Author: hongboz@ampersand.seas.upenn.edu
+## Keywords: 
+
+type
+make clean
+make dsl
+
+
+
+
+
+

File _build/DSL_util.byte

Binary file modified.

File _build/DSL_util.cmi

Binary file modified.

File _build/DSL_util.cmo

Binary file modified.

File _build/_digests

-"Rule: ocaml dependencies ml (%=util )": "J\137�7�\153\141�\015!$\\ܩ�"
+"Rule: ocaml dependencies ml (%=util )": "p7����$����V\152b��"
 "Resource: /mnt/castor/seas_home/h/hongboz/html/hongbo_zhang_files/dsl/DSL_util.ml": "N\016K\014\n\t�\152�_��\146l�<"
 "Resource: /mnt/castor/seas_home/h/hongboz/html/hongbo_zhang_files/dsl/util.ml": "A�P��\151\140�\005\004gG��2?"
-"Rule: ocaml: ml -> cmo & cmi (%=util )": "�\002�\132\142���x���\"�\154�"
-"Rule: ocaml: ml -> cmo & cmi (%=DSL_util )": "VD\134\024�f� d\140��m��\150"
-"Rule: ocaml: cmo* -> byte (%=DSL_util )": "��\031-H@L[8T���]n\019"
+"Rule: ocaml: ml -> cmo & cmi (%=util )": "�|#C�2�Q��-8E\148;"
+"Rule: ocaml: ml -> cmo & cmi (%=DSL_util )": "�\130�W�\031\150y7�\143���sj"
+"Rule: ocaml: cmo* -> byte (%=DSL_util )": "4Cr\000;}\028wP�S\003,R\133R"
 "Rule: ocaml dependencies ml (%=DSL_util )": "^�5�(�z\148\006��I�5q�"
 ### Starting build.
-# Target: DSL_util.ml.depends, tags: { extension:ml, file:DSL_util.ml, ocaml, ocamldep, pp(camlp4of), quiet, thread, traverse, use_str, use_unix }
+# Target: DSL_util.ml.depends, tags: { extension:ml, file:DSL_util.ml, ocaml, ocamldep, quiet }
 /home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamldep.opt -pp camlp4of -modules DSL_util.ml > DSL_util.ml.depends # cached
-# Target: util.ml.depends, tags: { extension:ml, file:util.ml, ocaml, ocamldep, quiet, thread, traverse, use_str, use_unix }
-/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamldep.opt -modules util.ml > util.ml.depends # cached
-# Target: util.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:util.cmo, file:util.ml, implem, ocaml, quiet, thread, traverse, use_str, use_unix }
-/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamlc.opt -c -thread -o util.cmo util.ml # cached
-# Target: DSL_util.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:DSL_util.cmo, file:DSL_util.ml, implem, ocaml, pp(camlp4of), quiet, thread, traverse, use_camlp4, use_str, use_unix }
-/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamlc.opt -c -I +camlp4 -thread -pp camlp4of -o DSL_util.cmo DSL_util.ml # cached
-# Target: DSL_util.byte, tags: { byte, dont_link_with, extension:byte, file:DSL_util.byte, link, ocaml, pkg_dynlink, program, quiet, thread, traverse, use_camlp4, use_str, use_unix }
-/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamlc.opt dynlink.cma unix.cma str.cma -I +camlp4 camlp4lib.cma threads.cma -thread util.cmo DSL_util.cmo -o DSL_util.byte
+# Target: util.ml.depends, tags: { extension:ml, file:util.ml, ocaml, ocamldep, quiet }
+/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamldep.opt -pp camlp4of -modules util.ml > util.ml.depends # cached
+# Target: util.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:util.cmo, file:util.ml, implem, ocaml, quiet }
+/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamlc.opt -c -I +camlp4 -pp camlp4of -o util.cmo util.ml # cached
+# Target: DSL_util.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:DSL_util.cmo, file:DSL_util.ml, implem, ocaml, quiet }
+/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamlc.opt -c -I +camlp4 -pp camlp4of -o DSL_util.cmo DSL_util.ml # cached
+# Target: DSL_util.byte, tags: { byte, dont_link_with, extension:byte, file:DSL_util.byte, link, ocaml, program, quiet }
+/home1/h/hongboz/SourceCode/godi-rocketboost-20110811/ocaml/bin/ocamlc.opt -I +camlp4 dynlink.cma camlp4lib.cma str.cma unix.cma util.cmo DSL_util.cmo -o DSL_util.byte
 # Compilation successful.

File _build/util.cmi

Binary file modified.

File _build/util.cmo

Binary file modified.
 pennid:hongboz
 client_port:22222
-passwd:unknown