Commit 4be5b1b1 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Header with copyright and svn keywords added

parent 1077070b
**************************************************************************
* *
* ACG development toolkit *
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
* *
* *
* *
* $Rev:: $: Revision of last commit *
* $Author:: $: Author of last commit *
* $Date:: $: Date of last commit *
* *
**************************************************************************
To install the ACG toolkit, first run:
./configure
......
**************************************************************************
* *
* ACG development toolkit *
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
* *
* *
* *
* $Rev:: $: Revision of last commit *
* $Author:: $: Author of last commit *
* $Date:: $: Date of last commit *
* *
**************************************************************************
CeCILL FREE SOFTWARE LICENSE AGREEMENT
......
**************************************************************************
* *
* ACG development toolkit *
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
* *
* *
* *
* $Rev:: $: Revision of last commit *
* $Author:: $: Author of last commit *
* $Date:: $: Date of last commit *
* *
**************************************************************************
CONTRAT DE LICENCE DE LOGICIEL LIBRE CeCILL
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
PHONY: config byte opt clean superclean install
BINARIES=acgc acgc.opt acg acg.opt
......
**************************************************************************
* *
* ACG development toolkit *
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
* *
* *
* *
* $Rev:: $: Revision of last commit *
* $Author:: $: Author of last commit *
* $Date:: $: Date of last commit *
* *
**************************************************************************
This distribution provides two executables (possibly with the .opt
extension, see the INSTALL file):
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
......
**************************************************************************
* *
* ACG development toolkit *
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
* *
* *
* *
* $Rev:: $: Revision of last commit *
* $Author:: $: Author of last commit *
* $Date:: $: Date of last commit *
* *
**************************************************************************
We suppose that the executables are acgc and acg (they could have been
acgc.opt or acg.opt)
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
signature strings =
s:type ;
string = s->s : type;
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
# First print the help messasge that describes the commands
help;
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
(* We first provide a signature for the derivation trees *)
signature derivation_trees =
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
PREVIOUS_FILES = $(foreach dir,$(PREVIOUS_DIRS),$(addprefix $(dir)/,$(shell sed -n -e 's/^ML *= *\(.*\)/\1/p' $(dir)/Makefile)))
PREVIOUS_MLIS = $(foreach mli,$(PREVIOUS_FILES:.ml=.mli),$(filter $(mli),$(foreach dir,$(PREVIOUS_DIRS),$(wildcard $(dir)/*.mli))))
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
PHONY: test
SUBDIRS= utils logic grammars acg-data scripting lambda
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
DEBUGFLAG = -g
OCAMLCPOPT = -p fm
......
###############################################
# #
# Makefile for directories with no executable #
# #
###############################################
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
include ../Makefile.master
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
module Sg = Signature.Sylvains_signature
(*module Lex = Syntactic_data_structures.Abstract_lex*)
module Lex = Lexicon.Sylvain_lexicon
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
open Abstract_syntax
open Lambda
open Signature
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
open Signature
module Sylvain_lexicon : Interface.Lexicon_sig
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
open Lambda
open Abstract_syntax
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
open Abstract_syntax
open Lambda
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
wait;
load d ../data/comp.acg;
list;
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
signature syntax =
NP,D,S,DNP_S_S,DNP_S_S2,NP_S_T_in_situ:type;
THE_MOST:NP -> DNP_S_S;
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
# A line starting with an hash is a comment
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
# #
# #
# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
# #
##########################################################################
load d ../data/strings.acg;
load d ../data/cvg-topicalisation-in-situ.acg;
compose CVG_strings CVG_syntax as CVG_phonology;
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
signature syntax =
NP,S,T,NP_S_T,NP_S_T_in_situ : type;
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
signature syntax =
NP,S,T,NP_S_T : type;
......
(**************************************************************************)
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
(* *)
(* *)
(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
(* *)
(**************************************************************************)
(* This file aims at provideing an ACG encoding of CVG examples as
given in the handout of the NaTal workshop
(http://www.ling.ohio-state.edu/~pollard/cvg/natal.pdf) *)
......
##########################################################################
# #
# ACG development toolkit #
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #