From 5433a5cdd81b470378786a4f5ba87f6f56ea60c3 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 20 Sep 2011 14:29:50 +0200 Subject: [PATCH] put files in different directories Ignore-this: 2df11f9183d273759941b09dbec314c6 darcs-hash:20110920122950-c41ad-eec84c9824fc0077abec452a2d865990a443df63 --- _oasis | 6 +++--- _tags | 9 +++++++-- src/{ => common}/uTop.ml | 0 src/{ => common}/uTop.mli | 0 src/{ => common}/uTop_complete.ml | 0 src/{ => common}/uTop_complete.mli | 0 src/{ => common}/uTop_lexer.mll | 0 src/{ => common}/uTop_private.ml | 0 src/{ => common}/uTop_token.ml | 0 src/{ => console}/uTop_console.ml | 0 src/{ => console}/uTop_console_top.mltop | 0 src/{ => emacs}/uTop_emacs.ml | 0 src/{ => emacs}/uTop_emacs_top.mltop | 0 src/{ => emacs}/utop.el | 0 14 files changed, 10 insertions(+), 5 deletions(-) rename src/{ => common}/uTop.ml (100%) rename src/{ => common}/uTop.mli (100%) rename src/{ => common}/uTop_complete.ml (100%) rename src/{ => common}/uTop_complete.mli (100%) rename src/{ => common}/uTop_lexer.mll (100%) rename src/{ => common}/uTop_private.ml (100%) rename src/{ => common}/uTop_token.ml (100%) rename src/{ => console}/uTop_console.ml (100%) rename src/{ => console}/uTop_console_top.mltop (100%) rename src/{ => emacs}/uTop_emacs.ml (100%) rename src/{ => emacs}/uTop_emacs_top.mltop (100%) rename src/{ => emacs}/utop.el (100%) diff --git a/_oasis b/_oasis index fea1e99..5f74712 100644 --- a/_oasis +++ b/_oasis @@ -27,7 +27,7 @@ Library "optcomp" CompiledObject: byte Library utop - Path: src + Path: src/common Modules: UTop InternalModules: UTop_private BuildDepends: findlib, lambda-term (>= 1.1), lwt.syntax @@ -36,14 +36,14 @@ Library utop Executable utop Install: true - Path: src + Path: src/console CompiledObject: byte MainIs: uTop_console_top.ml BuildDepends: utop, findlib, lambda-term, lwt.syntax Executable "utop-emacs" Install: true - Path: src + Path: src/emacs CompiledObject: byte MainIs: uTop_emacs_top.ml BuildDepends: utop, findlib, lambda-term, lwt.syntax, threads diff --git a/_tags b/_tags index b2a0b7e..818ebba 100644 --- a/_tags +++ b/_tags @@ -1,10 +1,15 @@ # -*- conf -*- +# Use camlp4 on all files <**/*.ml>: syntax_camlp4o, pkg_lwt.syntax, pa_optcomp + +# Do not use optcomp on syntax extensions : -pa_optcomp -: use_compiler_libs, pkg_lambda-term, pkg_findlib + +# Needed for building toplevels +: use_compiler_libs, pkg_lambda-term, pkg_findlib <**/*.top>: use_utop -<**/uTop_emacs_top.top>: pkg_threads +: pkg_threads # OASIS_START # OASIS_STOP diff --git a/src/uTop.ml b/src/common/uTop.ml similarity index 100% rename from src/uTop.ml rename to src/common/uTop.ml diff --git a/src/uTop.mli b/src/common/uTop.mli similarity index 100% rename from src/uTop.mli rename to src/common/uTop.mli diff --git a/src/uTop_complete.ml b/src/common/uTop_complete.ml similarity index 100% rename from src/uTop_complete.ml rename to src/common/uTop_complete.ml diff --git a/src/uTop_complete.mli b/src/common/uTop_complete.mli similarity index 100% rename from src/uTop_complete.mli rename to src/common/uTop_complete.mli diff --git a/src/uTop_lexer.mll b/src/common/uTop_lexer.mll similarity index 100% rename from src/uTop_lexer.mll rename to src/common/uTop_lexer.mll diff --git a/src/uTop_private.ml b/src/common/uTop_private.ml similarity index 100% rename from src/uTop_private.ml rename to src/common/uTop_private.ml diff --git a/src/uTop_token.ml b/src/common/uTop_token.ml similarity index 100% rename from src/uTop_token.ml rename to src/common/uTop_token.ml diff --git a/src/uTop_console.ml b/src/console/uTop_console.ml similarity index 100% rename from src/uTop_console.ml rename to src/console/uTop_console.ml diff --git a/src/uTop_console_top.mltop b/src/console/uTop_console_top.mltop similarity index 100% rename from src/uTop_console_top.mltop rename to src/console/uTop_console_top.mltop diff --git a/src/uTop_emacs.ml b/src/emacs/uTop_emacs.ml similarity index 100% rename from src/uTop_emacs.ml rename to src/emacs/uTop_emacs.ml diff --git a/src/uTop_emacs_top.mltop b/src/emacs/uTop_emacs_top.mltop similarity index 100% rename from src/uTop_emacs_top.mltop rename to src/emacs/uTop_emacs_top.mltop diff --git a/src/utop.el b/src/emacs/utop.el similarity index 100% rename from src/utop.el rename to src/emacs/utop.el