Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tag: v0.27.1
Fetching contributors…

Cannot retrieve contributors at this time

772 lines (681 sloc) 24.246 kB
; go to start of line with a string_of_info string, like "/a/b/c" line 43
; and it will go ther
(fset 'pfff-goto-error
[?\C-s ?\" left right ?\C- ?\C-s ?\" left ?\M-w ?\C-x ?\C-f ?\C-x ?\C-f ?\C-y return ?\C-\M-l ?\C-s ?l ?i ?n ?e ? left right ?\C- ?\C-e ?\M-w ?\C-\M-l ?\M-g ?\C-y return])
; when have file:line format
(fset 'pad-goto-error
[?\C-a ?\C- ?\C-s ?: left ?\M-w ?\C-x ?\C-f ?\C-x ?\C-f ?\C-y return ?\C-\M-l right ?\C- C-right ?\M-w ?\C-\M-l ?\M-g ?\C-y return])
(fset 'pad-goto-backtrace
[?\C-s ?[ left right ?\C- ?\C-s ?: left ?\M-w ?\C-x ?\C-f ?\C-x ?\C-f ?\C-y return ?\C-x ?b return right ?\C- C-right ?\M-w ?\C-x ?b return ?\M-g ?\C-y return])
(defun pad-ocaml-project-pfff ()
(interactive)
(setq
pad-ocaml-project-path "/home/pad/pfff"
pad-ocaml-project-subdirs
(split-string
"commons globals commons/ocamlextra
external/jsonwheel
h_version-control
h_visualization
h_program-lang
matcher
lang_ml/parsing
lang_ml/analyze
lang_php/parsing
lang_php/analyze
lang_php/analyze/basic
lang_php/analyze/foundation
lang_php/analyze/database
lang_php/analyze/qa_test
lang_php/analyze/qa_code
lang_php/analyze/static_analysis
lang_php/analyze/checker
lang_php/matcher
lang_php/pretty
lang_js/parsing
lang_js/analyze
lang_sql/parsing
lang_html/parsing
lang_cpp/parsing
lang_java/parsing
lang_java/analyze
lang_clang/parsing
lang_clang/analyze
visual
codegraph
facebook
facebook/fb_common
facebook/fb_org
facebook/fb_db
facebook/check_module
facebook/flib_navigator
facebook/visual
facebook/qa_test
facebook/static_analysis
external/ocamlmysql
external/ocamlmysql/orm-mysql
external/ocamlthrift
external/ocamlgl/SRC
external/ocamlcairo/src
external/phylomel/src
facebook/thrift
facebook/thrift/gen-ocaml
demos
/home/pad/packages/Linux/stow/ocaml-4.00.1/lib/ocaml/compiler-libs
/home/pad/packages/MacOS/stow/ocaml-4.00.1/lib/ocaml/compiler-libs
")
pad-ocaml-project-toplevel "pfff.top"
)
; facebook/qa_code facebook/check_cpp
; branches
;
; master
;
; cyclomatic_R
; phpunit
; commit_hooks
; coverage
; data_flow
; flib_navigator
; sgrep
; test_rank
; type_inference
; visualization
; xdebug
; xhp
; check_module
; interpreter
; jit
; --------------------------------------------------------------------------
; pfff
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "pfff"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 203
(0 "-tokens_php /home/pad/pfff/tests/php/parsing/heredoc4.php")
(1 "-parse_php /home/pad/c-pfff/tests/position.php")
(2 "-sexp_php /home/pad/c-pfff/tests/foo.php")
(3 "-parse_php /home/pad/www/html/pad/")
(4 "-parse_php /home/pad/c-pfff/tests/if.php")
;(5 "-typing_mini /home/pad/c-pfff/tests/typing/union.php")
(5 "-typing_mini /home/pad/c-pfff/tests/typing/int.php")
(6 "-parse_php /home/pad/pfff/tests/php/parsing/static_variable_variable.php")
(7 "-dump_php_simple /home/pad/pfff/tests/php/parsing/ctor_modifier_param.php")
(20 "-json /home/pad/pfff/tests/json/float_pb.php")
(40 "-unit_test")
(50 "-parse_xhp /home/pad/pfff/tests/xhp/foo.php")
(51 "-parse_xhp /home/pad/www/flib/share/bookmarklet/ui/bookmarklet.php")
(52 "-parse_xhp /home/pad/www/flib/utils/survey/ui/SurveyView.php")
(53 "-parse_xhp /home/pad/pfff/tests/xhp/xhp_line_bug2.php")
(54 "-parse_xhp /home/pad/www/flib/intern/ui/explorer/elements.php")
(55 "-parse_xhp /home/pad/pfff/tests/xhp/xhp_line_bug4.php")
(60 "-parse_php /home/pad/pfff/tests/xhp_pb_but_ok/colon_ambiguity.php")
(100 "-parse_html /home/pad/pfff/tests/html/simple/div.html")
(200 "-parse_cpp /home/pad/pfff/tests/cpp/foo.h")
(201 "-parse_cpp /tmp/test.cpp")
(203 "-parse_cpp /home/pad/pfff/tests/c/parsing/typedef_proto.c")
(300 "-pfff_gephi_dependencies /home/pad/pfff /tmp/pfff.gexf")
(400 "-dump_cmt2 /home/pad/pfff/tests/ml/cmt/foo.cmt")
(401 "-parse_clang /home/pad/local/games/cruelhessian-0.1.6-rc3/src/Weapon.clang")
)
)
)
)
; --------------------------------------------------------------------------
; pfff_db
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "pfff_db"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 1
(0 "/home/pad/www/html/pad/")
(1 "-metapath /tmp/xdb /home/pad/c-pfff/tests/test_db/")
(2 "-deadcode_analysis /tmp/xdb")
(3 "-type_php /home/pad/c-pfff/tests/typing/foo.php")
(4 "-type_php /home/pad/c-pfff/tests/typing/basic.php")
(5 "-idl_to_php /home/pad/c-pfff/tests/builtins3.php")
(10 "-deadcode_patch_info /tmp/deadcode_patches/flib/gender//sgrimm_dcorson__19-Dec-2007__gender.php.patch")
(20 "-deadcode_patches_stat_www")
(30 "-test_diffcamp")
)
)
)
)
; --------------------------------------------------------------------------
; pfff_misc
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/pfff_misc"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 100
(0 "-test")
(1 "-test_squarify")
(2 "-test_treemap_dir /home/pad/etc/ squarified")
(3 "-test_code_rank /tmp/code_rank_db/")
(4 "-index_db_xdebug /tmp/flib_db /tmp/dumpfile.xt")
(5 "-batch_mode -type_xdebug_php /home/pad/pfff/tests/type_inference/union_basic.php")
(10 "-test_treemap_php /home/pad/www/flib/")
(20 "-test includees")
(30 "-metapath /tmp/test_db/ /home/pad/pfff/tests/facebook/mini_www/")
(31 "-includers_php /tmp/test_db/ /home/pad/pfff/tests/facebook/mini_www/flib/core/__init__.php")
(32 "-test_track_function_result foo /home/pad/pfff/tests/analysis/dfg/simple.php")
(33 "-test_pil /home/pad/pfff/tests/analysis/pil/stmt.php ")
(34 "-cfg_pil /home/pad/pfff/tests/analysis/pil/cfg.php ")
(35 "-cfg_pil /home/pad/pfff/tests/analysis/dfg/basic.php ")
(37 "-test_track_function_result foo /home/pad/pfff/tests/analysis/dfg/simple.php")
(38 "-test_track_function_result foo /home/pad/pfff/tests/analysis/dfg/basic.php")
(39 "-generate_html /tmp/pfff_db /home/pad/www/flib/intern/module/module.php")
(50 "-parse_js /home/pad/pfff/tests/js/foo.js")
(100 "-foo")
)
)
)
)
; --------------------------------------------------------------------------
; sgrep
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "sgrep"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 10
(0 "-e 1 /home/pad/c-pfff/tests/")
(1 "-f /home/pad/c-pfff/tests/semantic_grep/method_call.php /home/pad/c-pfff/tests/method_call.php")
(2 " -e foo(X,X) /home/pad/pfff/tests/sgrep/linear_pattern.php")
(3 " -find_run_once_pattern tests/sgrep/run_once_pattern.php ")
(4 " -f /home/pad/pfff/tests/php/sgrep/foreach.sgrep /home/pad/pfff/tests/php/sgrep/foreach.php")
(5 " -f /tmp/try.sgrep /home/pad/pfff/tests/php/sgrep/xhp_metavar2.php")
(6 " -lang c++ -f /home/pad/pfff/tests/cpp/sgrep/namespace.sgrep /home/pad/pfff/tests/cpp/sgrep/namespace.cpp")
(10 "-test")
)
)
)
)
; --------------------------------------------------------------------------
; spatch
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "spatch"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 50
(0 "-send_mail_transfo /home/pad/pfff/tests/spatch/send_mail.php")
(1 "-fbt_xhp_izer /home/pad/pfff/tests/php/spatch/fbt.php ")
(2 "-f /home/pad/pfff/tests/php/spatch/foo.spatch /home/pad/pfff/tests/php/spatch/foo.php")
(3 "-f /home/pad/pfff/tests/php/spatch/border.spatch /home/pad/pfff/tests/php/spatch/border.php")
(4 "-test")
(5 "-f /home/pad/redirect.spatch /home/pad/redirect.php")
(6 " -f /home/pad/pfff/tests/php/sgrep/foreach.spatch /home/pad/pfff/tests/php/sgrep/foreach.php")
(7 "-f /home/pad/pfff/tests/php/spatch/space.spatch /home/pad/pfff/tests/php/spatch/space1.php")
(8 "-f /home/pad/pfff/tests/php/spatch/remove_refarg.spatch /home/pad/pfff/tests/php/spatch/remove_refarg.php")
(9 "-f /home/pad/pfff/tests/php/spatch/add_statement.spatch /home/pad/pfff/tests/php/spatch/add_statement.php")
(10 "-f /home/pad/ex.spatch /home/pad/ex.php")
(11 "-f /home/pad/ex2.spatch /home/pad/ex2.php")
(20 "-f /tmp/test.spatch /tmp/test.php")
(40 "-e s/foo(X);// /home/pad/pfff/demos/foo.php")
(50 " -lang c++ -f /home/pad/pfff/tests/cpp/spatch/namespace.spatch /home/pad/pfff/tests/cpp/spatch/namespace.cpp")
(100 "-test")
)
)
)
)
; --------------------------------------------------------------------------
; scheck
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "scheck"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "-test")
(1 "-test_pil /home/pad/pfff/tests/php/pil/qualifier.php")
(2 "-debug_checker /home/pad/pfff/tests/php/scheck/closures.php")
(3 "-debug_checker -heavy /home/pad/pfff/tests/php/scheck/variables_fp.php")
(4 "-debug_checker -heavy /home/pad/pfff/tests/php/scheck/playground.php")
(5 "-heavy /home/pad/pfff/tests/php/scheck/classes.php")
)
)
)
)
; --------------------------------------------------------------------------
; codemap
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "codemap"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "-test_treemap_dirs")
)
)
)
)
; --------------------------------------------------------------------------
; codegraph
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "codegraph"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 3
(0 "-lang java -build /home/pad/pfff/tests/java/codegraph")
(1 "-lang cmt -build /home/pad/pfff/tests/ml/cmt")
(2 ".")
(3 "-lang php -build /home/pad/pfff/tests/php/codegraph")
)
)
)
)
; --------------------------------------------------------------------------
; db_light
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "pfff_db_light"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0
"-gen_pleac /home/pad/software-src/pleac/pleac_ocaml.data /home/pad/software-src/pleac/skeleton.sgml")
)
)
)
)
; --------------------------------------------------------------------------
; treemap_viewer
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "h_visualization/treemap_viewer"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 4
(0 "")
(1 "-test_of_json /home/pad/pfff/h_visualization/examples/treemap/ex.json")
(2 "-test_treemap ordered")
(3 "-test_orderify")
(4 "/home/pad/pfff/h_visualization/examples/treemap/ex.json")
)
)
)
)
; --------------------------------------------------------------------------
; vcs
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "h_version-control/vcs"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 5
(0 "")
(1 "-test_git2 /home/pad/c-pfff 83494ee5fe67303de1bfa0ca363a32fe8f32f63a")
(2 "-test_git2 /home/pad/c-pfff 30b1fcf436c90d9a78c01d4ebec0e6ab0a4a1edd")
(3 "-test_git2 /home/pad/c-pfff e44f7d8a9703eda693aec4baee9323df36970865")
(4 "-test_git2 /home/pad/c-pfff 6d27fd0f1eb56184011683530c224f90490f45c7")
(5 "-test_git2 /home/pad/c-pfff 01288f1e2e56c87de5d4363c94dac7458583cd94")
)
)
)
)
; --------------------------------------------------------------------------
; php treemap_viewer
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/visual/visual"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 1
(0 "")
(1 "-test_treemap_git /home/pad/www/flib/")
)
)
)
)
; --------------------------------------------------------------------------
; pfff_gui
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "pfff_browser"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 2
(0 "/tmp/pfff_db")
(1 "/tmp/xdb")
(2 "/tmp/test_db")
)
))
)
; --------------------------------------------------------------------------
; meta/
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "meta/ffi"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 21
(0 "/home/pad/c-pfff/demos/foo0.php")
(1 "/home/pad/c-pfff/tests/dependencies/thrift.php")
;(1 "-python_gen exprbis")
(2 "-python_gen program")
(3 "-python_gen is_ref")
(10 "-python_gen_all")
(20 "-dump_php_ml /home/pad/c-pfff/tests/dependencies/thrift.php")
(21 "-dump_php_ml /home/pad/pfff/demos/foo.php")
)
))
)
(setq
pad-ocaml-project-prog "meta/gen_code"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 21
(0 "/home/pad/c-pfff/demos/foo0.php")
(1 "/home/pad/c-pfff/tests/dependencies/thrift.php")
;(1 "-python_gen exprbis")
(2 "-python_gen program")
(3 "-python_gen is_ref")
(10 "-python_gen_all")
(20 "-dump_php_ml /home/pad/c-pfff/tests/dependencies/thrift.php")
(21 "-dump_php_ml /home/pad/pfff/demos/foo.php")
)
))
)
; --------------------------------------------------------------------------
; interpreter/compiler
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "compile_php/phpcc"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 1
(0 "/home/pad/c-pfff/tests/interpreter/hello_world.php")
(1 "/home/pad/c-pfff/tests/interpreter/fact.php")
)
))
)
; --------------------------------------------------------------------------
; facebook/
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/pfff_fb"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 40
(0 "-test_treemap_misc")
(1 "-test_treemap_db /tmp/pfff_db")
(2 "-lib_dependencies2 /home/pad/www/lib/platform_install.php /tmp/pfff_db")
(3 "-getMock_transfo /home/pad/www/flib/intern/load_balancer/syncer/__tests__/LoadBalancerConfigSnapshotTest.php")
(4 "-getMock_transfo /home/pad/pfff/tests/ppp/getMock_ex2.php")
(10 "-test fb_coverage")
(20 "-test_abint /home/pad/pfff/demos/interpreter.php")
(21 "-test abstract")
(22 "-test abstract")
(23 "-test pretty")
(24 "-overlayize_dry /home/pad/Overlays/www pegasus")
(30 "-interface_methods_transfo /home/pad/www/flib/intern/puma/read_efficiency/advisor/ReadEffAggregationAdvisor.php")
(40 "-load_employee /home/pad/pfff/facebook/data/employees_infos.json")
)
))
)
; --------------------------------------------------------------------------
; facebook/qa_code/checker
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/qa_code/checker"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 2
(0 "/home/pad/www/html/ajax/groups/mall/ufi.php")
(1 "-test_functions_json")
(2 "/home/pad/pfff/demos/foo.php")
)
))
)
; --------------------------------------------------------------------------
; facebook/spatch
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/spatch"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "-f /home/pad/pfff/tests/php/spatch/reindent_expr.spatch /home/pad/pfff/tests/php/spatch/reindent_expr.php")
)
))
)
; --------------------------------------------------------------------------
; facebook/reaper
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/dead_code/reaper"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "-deadcode_analysis_diff /tmp/deadcode_db/")
)
))
)
; --------------------------------------------------------------------------
; facebook/codestat
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/codestat"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "/home/pad/fbcode/ci_central_lookup")
)
))
)
; --------------------------------------------------------------------------
; facebook/fb_phpunit
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/fb_phpunit/fb_phpunit_wrap"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 1
(0 "")
(1 "/home/pad/www/flib/utils/dependencies/__tests__/")
)
))
)
; --------------------------------------------------------------------------
; facebook/qa_test
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/qa_test/qa_test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 3
(0 "")
(1 "-find_missing_emails /home/pad/pfff/tests/facebook/test_notifications/")
(2 "-add_emails_annot foo@bar /home/pad/pfff/tests/facebook/test_notifications/bar_noemails.php")
(3 "-php_root /home/pad/pfff/tests/facebook/ -add_emails_annot foo@bar /home/pad/pfff/tests/facebook/test_notifications/other/3.php")
)
))
)
; --------------------------------------------------------------------------
; facebook/thrift
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/thrift/client_php"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 1
(0 "")
(1 "-test_thrift")
)
))
)
; --------------------------------------------------------------------------
; facebook/check_module
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "facebook/check_module/checkModule"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 10
(0 "-test")
(1 "--flib-map /home/pad/www/flib/_bin/.flib.map /home/pad/www/flib/buffy/")
(2 "--strict /home/pad/www/flib/site/tools/pfff/")
(3 "-test_visualize_dependencies 1 /home/pad/pfff/facebook/tests/mini_www/flib/")
(10 "--tests builtins")
(20 "--debug --no_autoload /home/pad/www/flib/core/utils/time")
(30 "/home/pad/www/html/ajax/payment/token_proxy.php")
(50 "--bugs -juju /home/pad/pfff/facebook/tests/mini_www/html/injection/xss.php")
(60 "--di-gen /home/pad/pfff/facebook/tests/mini_www/flib/dependency_injection/foo.php")
(100 "--debug -juju /home/pad/www/html/intern/colbert/index.php")
)
))
)
; --------------------------------------------------------------------------
; pfff_visual
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "pfff_visual"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "-ss 1 -with_layer /tmp/layer_security.json /home/pad/pfff/facebook/tests/mini_www/")
)
))
)
; --------------------------------------------------------------------------
; codegraph
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "codegraph"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 0
(0 "-verbose -test_graph_code_ml /home/pad/pfff")
)
))
)
; --------------------------------------------------------------------------
; pfff_test
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "pfff_test"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
"-debugger"
(case 1
(0 "all")
(1 "XXX")
(2 "sgrep")
(3 "tags")
(4 "parsing_ml")
(5 "lookup")
(6 "abstract")
(7 "light")
(8 "-ia_php /home/pad/pfff/tests/php/ia/foo.php 6")
(9 "-type_php /home/pad/pfff/tests/php/typing/test.php")
(10 "-test_graph_code_ml /home/pad/pfff/commons")
(11 "prolog:")
(12 "-builtins_of_idl /home/pad/local/fbcode/hphp/facebook/extensions/async_mysql/async_mysql.idl.json")
)
))
)
; --------------------------------------------------------------------------
; demos/show_function_calls
; --------------------------------------------------------------------------
(setq
pad-ocaml-project-prog "demos/show_function_calls2.byte"
;pad-ocaml-project-prog "gui/test"
pad-ocaml-project-args
(join-string
(list
(case 0
(0 "/home/pad/pfff/demos/foo.php")
)
))
)
; --------------------------------------------------------------------------
; for the help system, for C-c C-h to find where to look for
(mapcar (lambda (p)
(ocaml-add-path (concat pad-ocaml-project-path "/" p))
(ocaml-add-path "/usr/lib/ocaml/3.09.2/lablgtk2")
(ocaml-add-path "/usr/lib/ocaml/3.09.2/lablgtksourceview")
(ocaml-add-path "/home/pad/comments/ocamlgtk/src")
(ocaml-add-path "/home/pad/packages/lib/ocaml/std-lib")
(ocaml-add-path "/home/pad/packages/lib/ocaml/pkg-lib/lablgtk2")
(ocaml-add-path "/home/pad/packages/lib/ocaml/pkg-lib/lablgtksourceview")
(ocaml-add-path "/home/pad/packages/MacOS/lib/ocaml/std-lib/lablgl")
)
pad-ocaml-project-subdirs
)
)
;(setq ocaml-lib-path nil)
;(setq ocaml-module-alist 'lazy)
Jump to Line
Something went wrong with that request. Please try again.