Repository: https://svn.lrde.epita.fr/svn/xrm ChangeLog: 2006-12-03 SIGOURE Benoit &lt;sigoure.benoit(a)lrde.epita.fr&gt; Use GPL headers instead of EPITA headers. * Makefile.am, * bootstrap, * config/Makefile.am, * configure.ac, * src/Makefile.am, * src/lib/Makefile.am, * src/lib/native/Makefile.am, * src/lib/native/ceil.c, * src/lib/native/floor.c, * src/lib/native/libstr-reals.h, * src/lib/native/power.c, * src/lib/native/rand.c, * src/lib/pctl/Makefile.am, * src/lib/pctl/pp/Makefile.am, * src/lib/pctl/pp/pctl-filter.str, * src/lib/pctl/pp/pctl-formula.str, * src/lib/pctl/pp/pctl-label.str, * src/lib/pctl/pp/pctl-path.str, * src/lib/pctl/pp/pctl-properties-file.str, * src/lib/pctl/pp/pctl-property.str, * src/lib/pctl/pp/pctl-reward.str, * src/lib/pctl/pp/pctl-to-abox.str, * src/lib/pctl/pp/pp-pctl-to-box.str, * src/lib/prism/Makefile.am, * src/lib/prism/pp/Makefile.am, * src/lib/prism/pp/helpers.str, * src/lib/prism/pp/pp-prism-to-box.str, * src/lib/prism/pp/prism-command.str, * src/lib/prism/pp/prism-conflicts.str, * src/lib/prism/pp/prism-constant.str, * src/lib/prism/pp/prism-declaration.str, * src/lib/prism/pp/prism-expression.str, * src/lib/prism/pp/prism-formula.str, * src/lib/prism/pp/prism-global.str, * src/lib/prism/pp/prism-init.str, * src/lib/prism/pp/prism-module.str, * src/lib/prism/pp/prism-modulesfile.str, * src/lib/prism/pp/prism-modulesfiletype.str, * src/lib/prism/pp/prism-reward.str, * src/lib/prism/pp/prism-systemcomposition.str, * src/lib/prism/pp/prism-to-abox.str, * src/lib/prism/pp/prism-update.str, * src/lib/xpctl/Makefile.am, * src/lib/xpctl/pp/Makefile.am, * src/lib/xpctl/pp/pp-xpctl-to-box.str, * src/lib/xpctl/pp/xpctl-to-abox.str, * src/lib/xrm/Makefile.am, * src/lib/xrm/pp/Makefile.am, * src/lib/xrm/pp/pp-xrm-to-box.str, * src/lib/xrm/pp/xrm-arrays.str, * src/lib/xrm/pp/xrm-constant.str, * src/lib/xrm/pp/xrm-expression.str, * src/lib/xrm/pp/xrm-formula.str, * src/lib/xrm/pp/xrm-meta-for.str, * src/lib/xrm/pp/xrm-meta-if.str, * src/lib/xrm/pp/xrm-module.str, * src/lib/xrm/pp/xrm-properties.str, * src/lib/xrm/pp/xrm-to-abox.str, * src/sig/Makefile.am, * src/str/Makefile.am, * src/str/array-decl-desugar.str, * src/str/builtin-rand.str, * src/str/check-meta-vars.str, * src/str/collect-static-const-decl.str, * src/str/desugar-array-access.str, * src/str/eval-meta-code.str, * src/str/flatten-array-access.str, * src/str/ice.str, * src/str/inline.str, * src/str/log-timed.str, * src/str/prism-desugar.str, * src/str/properties-in-xrm.str, * src/str/reals.str, * src/str/signatures.str, * src/str/type-check.str, * src/str/xrm-front.str, * src/str/xrm-to-prism.str, * src/syn/Makefile.am, * src/syn/collect-ebnf.rb, * src/syn/pctl/Makefile.am, * src/syn/prism/Makefile.am, * src/syn/xpctl/Makefile.am, * src/syn/xrm/Makefile.am, * src/tools/Makefile.am, * src/tools/parse-pctl.str, * src/tools/parse-prism.str, * src/tools/parse-xpctl.str, * src/tools/parse-xrm.str, * src/tools/parser-common.str, * src/tools/pp-pctl.str, * src/tools/pp-prism.str, * src/tools/pp-xpctl.str, * src/tools/pp-xrm.str, * tests/Makefile.am, * tests/test-parse-pctl.sh.in, * tests/test-parse-prism.sh.in, * tests/test-parse-xpctl.sh.in, * tests/test-parse-xrm.sh.in, * tests/test-pp-pctl.sh.in, * tests/test-pp-prism.sh.in, * tests/test-pp-xpctl.sh.in, * tests/test-pp-xrm.sh.in, * tests/test-summary.sh, * tests/test-xrm-front.sh.in: Here. Makefile.am | 28 ++++++++++++++++++--------- bootstrap | 9 -------- config/Makefile.am | 27 +++++++++++++++++--------- configure.ac | 28 ++++++++++++++++++--------- src/Makefile.am | 28 ++++++++++++++++++--------- src/lib/Makefile.am | 28 ++++++++++++++++++--------- src/lib/native/Makefile.am | 28 ++++++++++++++++++--------- src/lib/native/ceil.c | 26 +++++++++++++++++-------- src/lib/native/floor.c | 26 +++++++++++++++++-------- src/lib/native/libstr-reals.h | 26 +++++++++++++++++-------- src/lib/native/power.c | 26 +++++++++++++++++-------- src/lib/native/rand.c | 26 +++++++++++++++++-------- src/lib/pctl/Makefile.am | 28 ++++++++++++++++++--------- src/lib/pctl/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/pctl/pp/pctl-filter.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-formula.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-label.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-path.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-properties-file.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-property.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-reward.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-to-abox.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pp-pctl-to-box.str | 19 ++++++++++++++++++ src/lib/prism/Makefile.am | 28 ++++++++++++++++++--------- src/lib/prism/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/prism/pp/helpers.str | 19 ++++++++++++++++++ src/lib/prism/pp/pp-prism-to-box.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-command.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-conflicts.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-constant.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-declaration.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-expression.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-formula.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-global.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-init.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-module.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-modulesfile.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-modulesfiletype.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-reward.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-systemcomposition.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-to-abox.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-update.str | 19 ++++++++++++++++++ src/lib/xpctl/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xpctl/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xpctl/pp/pp-xpctl-to-box.str | 19 ++++++++++++++++++ src/lib/xpctl/pp/xpctl-to-abox.str | 19 ++++++++++++++++++ src/lib/xrm/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xrm/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xrm/pp/pp-xrm-to-box.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-arrays.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-constant.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-expression.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-formula.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-meta-for.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-meta-if.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-module.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-properties.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-to-abox.str | 19 ++++++++++++++++++ src/sig/Makefile.am | 28 ++++++++++++++++++--------- src/str/Makefile.am | 28 ++++++++++++++++++--------- src/str/array-decl-desugar.str | 19 ++++++++++++++++++ src/str/builtin-rand.str | 19 ++++++++++++++++++ src/str/check-meta-vars.str | 19 ++++++++++++++++++ src/str/collect-static-const-decl.str | 19 ++++++++++++++++++ src/str/desugar-array-access.str | 19 ++++++++++++++++++ src/str/eval-meta-code.str | 19 ++++++++++++++++++ src/str/flatten-array-access.str | 19 ++++++++++++++++++ src/str/ice.str | 19 ++++++++++++++++++ src/str/inline.str | 19 ++++++++++++++++++ src/str/log-timed.str | 19 ++++++++++++++++++ src/str/prism-desugar.str | 19 ++++++++++++++++++ src/str/properties-in-xrm.str | 19 ++++++++++++++++++ src/str/reals.str | 19 ++++++++++++++++++ src/str/signatures.str | 19 ++++++++++++++++++ src/str/type-check.str | 19 ++++++++++++++++++ src/str/xrm-front.str | 19 ++++++++++++++++++ src/str/xrm-to-prism.str | 19 ++++++++++++++++++ src/syn/Makefile.am | 28 ++++++++++++++++++--------- src/syn/collect-ebnf.rb | 9 -------- src/syn/pctl/Makefile.am | 28 ++++++++++++++++++--------- src/syn/prism/Makefile.am | 28 ++++++++++++++++++--------- src/syn/xpctl/Makefile.am | 28 ++++++++++++++++++--------- src/syn/xrm/Makefile.am | 28 ++++++++++++++++++--------- src/tools/Makefile.am | 28 ++++++++++++++++++--------- src/tools/parse-pctl.str | 19 ++++++++++++++++++ src/tools/parse-prism.str | 19 ++++++++++++++++++ src/tools/parse-xpctl.str | 19 ++++++++++++++++++ src/tools/parse-xrm.str | 19 ++++++++++++++++++ src/tools/parser-common.str | 19 ++++++++++++++++++ src/tools/pp-pctl.str | 19 ++++++++++++++++++ src/tools/pp-prism.str | 19 ++++++++++++++++++ src/tools/pp-xpctl.str | 19 ++++++++++++++++++ src/tools/pp-xrm.str | 19 ++++++++++++++++++ tests/Makefile.am | 28 ++++++++++++++++++--------- tests/test-parse-pctl.sh.in | 28 ++++++++++++++++++--------- tests/test-parse-prism.sh.in | 28 ++++++++++++++++++--------- tests/test-parse-xpctl.sh.in | 28 ++++++++++++++++++--------- tests/test-parse-xrm.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-pctl.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-prism.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-xpctl.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-xrm.sh.in | 28 ++++++++++++++++++--------- tests/test-summary.sh | 9 -------- tests/test-xrm-front.sh.in | 28 ++++++++++++++++++--------- 104 files changed, 1913 insertions(+), 355 deletions(-) Index: src/tools/parse-pctl.str =================================================================== --- src/tools/parse-pctl.str (revision 92) +++ src/tools/parse-pctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-pctl imports libstratego-xtc Index: src/tools/parse-xrm.str =================================================================== --- src/tools/parse-xrm.str (revision 92) +++ src/tools/parse-xrm.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-xrm imports libstratego-xtc Index: src/tools/pp-pctl.str =================================================================== --- src/tools/pp-pctl.str (revision 92) +++ src/tools/pp-pctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer &lt;martin(a)cs.uu.nl&gt; module pp-pctl Index: src/tools/Makefile.am =================================================================== --- src/tools/Makefile.am (revision 91) +++ src/tools/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for Project in /home/tsuna/work/xrm/trunk/src/tools -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 21:16:56 2006 SIGOURE Benoit -## Last update Sun Jun 11 03:30:17 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/tools/parse-prism.str =================================================================== --- src/tools/parse-prism.str (revision 92) +++ src/tools/parse-prism.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-prism imports libstratego-xtc Index: src/tools/parse-xpctl.str =================================================================== --- src/tools/parse-xpctl.str (revision 92) +++ src/tools/parse-xpctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-xpctl imports libstratego-xtc Index: src/tools/parser-common.str =================================================================== --- src/tools/parser-common.str (revision 91) +++ src/tools/parser-common.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // used by parse-* to factor common strategies module parser-common Index: src/tools/pp-xrm.str =================================================================== --- src/tools/pp-xrm.str (revision 92) +++ src/tools/pp-xrm.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer &lt;martin(a)cs.uu.nl&gt; module pp-xrm Index: src/tools/pp-prism.str =================================================================== --- src/tools/pp-prism.str (revision 92) +++ src/tools/pp-prism.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer &lt;martin(a)cs.uu.nl&gt; module pp-prism Index: src/tools/pp-xpctl.str =================================================================== --- src/tools/pp-xpctl.str (revision 92) +++ src/tools/pp-xpctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer &lt;martin(a)cs.uu.nl&gt; module pp-xpctl Index: src/sig/Makefile.am =================================================================== --- src/sig/Makefile.am (revision 91) +++ src/sig/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/sig -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 18:38:32 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:54:51 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk Index: src/lib/pctl/pp/pctl-to-abox.str =================================================================== --- src/lib/pctl/pp/pctl-to-abox.str (revision 92) +++ src/lib/pctl/pp/pctl-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-to-abox imports libstratego-xtc Index: src/lib/pctl/pp/pctl-properties-file.str =================================================================== --- src/lib/pctl/pp/pctl-properties-file.str (revision 91) +++ src/lib/pctl/pp/pctl-properties-file.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-properties-file rules Index: src/lib/pctl/pp/pctl-label.str =================================================================== --- src/lib/pctl/pp/pctl-label.str (revision 91) +++ src/lib/pctl/pp/pctl-label.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-label rules Index: src/lib/pctl/pp/pctl-reward.str =================================================================== --- src/lib/pctl/pp/pctl-reward.str (revision 91) +++ src/lib/pctl/pp/pctl-reward.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-reward rules Index: src/lib/pctl/pp/pctl-property.str =================================================================== --- src/lib/pctl/pp/pctl-property.str (revision 91) +++ src/lib/pctl/pp/pctl-property.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-property rules Index: src/lib/pctl/pp/pctl-filter.str =================================================================== --- src/lib/pctl/pp/pctl-filter.str (revision 91) +++ src/lib/pctl/pp/pctl-filter.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-filter rules Index: src/lib/pctl/pp/pp-pctl-to-box.str =================================================================== --- src/lib/pctl/pp/pp-pctl-to-box.str (revision 91) +++ src/lib/pctl/pp/pp-pctl-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-pctl-to-box imports Box Index: src/lib/pctl/pp/pctl-path.str =================================================================== --- src/lib/pctl/pp/pctl-path.str (revision 91) +++ src/lib/pctl/pp/pctl-path.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-path rules Index: src/lib/pctl/pp/Makefile.am =================================================================== --- src/lib/pctl/pp/Makefile.am (revision 92) +++ src/lib/pctl/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/pctl/pp -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sat Jun 10 03:59:11 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:17:20 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/pctl/pp/pctl-formula.str =================================================================== --- src/lib/pctl/pp/pctl-formula.str (revision 91) +++ src/lib/pctl/pp/pctl-formula.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-formula rules Index: src/lib/pctl/Makefile.am =================================================================== --- src/lib/pctl/Makefile.am (revision 91) +++ src/lib/pctl/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/pctl -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sat Jun 10 03:57:49 2006 SIGOURE Benoit -## Last update Sat Jun 10 03:58:01 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/lib/native/floor.c =================================================================== --- src/lib/native/floor.c (revision 91) +++ src/lib/native/floor.c (working copy) @@ -1,12 +1,22 @@ /* -** floor.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -** -** Started on Thu May 25 16:32:59 2006 SIGOURE Benoit -** Last update Thu May 25 18:57:46 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <math.h> #include "libstr-reals.h" Index: src/lib/native/rand.c =================================================================== --- src/lib/native/rand.c (revision 91) +++ src/lib/native/rand.c (working copy) @@ -1,12 +1,22 @@ /* -** rand.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -** -** Started on Tue Jun 6 15:13:53 2006 SIGOURE Benoit -** Last update Tue Jun 6 15:23:57 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <stdlib.h> #include "libstr-reals.h" Index: src/lib/native/Makefile.am =================================================================== --- src/lib/native/Makefile.am (revision 92) +++ src/lib/native/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/native -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:19:46 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk Index: src/lib/native/libstr-reals.h =================================================================== --- src/lib/native/libstr-reals.h (revision 91) +++ src/lib/native/libstr-reals.h (working copy) @@ -1,12 +1,22 @@ /* -** libstr-reals.h for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -** -** Started on Thu May 25 16:32:27 2006 SIGOURE Benoit -** Last update Thu May 25 20:10:05 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #ifndef LIBSTR_REALS_H_ # define LIBSTR_REALS_H_ Index: src/lib/native/ceil.c =================================================================== --- src/lib/native/ceil.c (revision 91) +++ src/lib/native/ceil.c (working copy) @@ -1,12 +1,22 @@ /* -** ceil.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -** -** Started on Thu May 25 16:32:50 2006 SIGOURE Benoit -** Last update Thu May 25 19:19:48 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <math.h> #include <stdio.h> Index: src/lib/native/power.c =================================================================== --- src/lib/native/power.c (revision 91) +++ src/lib/native/power.c (working copy) @@ -1,12 +1,22 @@ /* -** power.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -** -** Started on Thu May 25 16:33:04 2006 SIGOURE Benoit -** Last update Thu May 25 20:07:23 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <math.h> #include "libstr-reals.h" Index: src/lib/xrm/pp/xrm-formula.str =================================================================== --- src/lib/xrm/pp/xrm-formula.str (revision 91) +++ src/lib/xrm/pp/xrm-formula.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-formula rules Index: src/lib/xrm/pp/xrm-to-abox.str =================================================================== --- src/lib/xrm/pp/xrm-to-abox.str (revision 92) +++ src/lib/xrm/pp/xrm-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-to-abox imports libstratego-xtc Index: src/lib/xrm/pp/xrm-meta-for.str =================================================================== --- src/lib/xrm/pp/xrm-meta-for.str (revision 91) +++ src/lib/xrm/pp/xrm-meta-for.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-meta-for rules Index: src/lib/xrm/pp/xrm-meta-if.str =================================================================== --- src/lib/xrm/pp/xrm-meta-if.str (revision 91) +++ src/lib/xrm/pp/xrm-meta-if.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-meta-if rules Index: src/lib/xrm/pp/pp-xrm-to-box.str =================================================================== --- src/lib/xrm/pp/pp-xrm-to-box.str (revision 91) +++ src/lib/xrm/pp/pp-xrm-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-xrm-to-box imports Box Index: src/lib/xrm/pp/xrm-module.str =================================================================== --- src/lib/xrm/pp/xrm-module.str (revision 91) +++ src/lib/xrm/pp/xrm-module.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-module rules Index: src/lib/xrm/pp/xrm-constant.str =================================================================== --- src/lib/xrm/pp/xrm-constant.str (revision 91) +++ src/lib/xrm/pp/xrm-constant.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-constant rules Index: src/lib/xrm/pp/xrm-properties.str =================================================================== --- src/lib/xrm/pp/xrm-properties.str (revision 91) +++ src/lib/xrm/pp/xrm-properties.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-properties rules Index: src/lib/xrm/pp/Makefile.am =================================================================== --- src/lib/xrm/pp/Makefile.am (revision 92) +++ src/lib/xrm/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xrm/pp -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/xrm/pp/xrm-expression.str =================================================================== --- src/lib/xrm/pp/xrm-expression.str (revision 91) +++ src/lib/xrm/pp/xrm-expression.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-expression imports helpers Index: src/lib/xrm/pp/xrm-arrays.str =================================================================== --- src/lib/xrm/pp/xrm-arrays.str (revision 91) +++ src/lib/xrm/pp/xrm-arrays.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-arrays rules Index: src/lib/xrm/Makefile.am =================================================================== --- src/lib/xrm/Makefile.am (revision 91) +++ src/lib/xrm/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xrm -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Thu May 25 18:44:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/lib/Makefile.am =================================================================== --- src/lib/Makefile.am (revision 91) +++ src/lib/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:56:24 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = prism pctl xrm xpctl native Index: src/lib/prism/pp/prism-update.str =================================================================== --- src/lib/prism/pp/prism-update.str (revision 91) +++ src/lib/prism/pp/prism-update.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-update imports helpers Index: src/lib/prism/pp/prism-reward.str =================================================================== --- src/lib/prism/pp/prism-reward.str (revision 91) +++ src/lib/prism/pp/prism-reward.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-reward rules Index: src/lib/prism/pp/prism-module.str =================================================================== --- src/lib/prism/pp/prism-module.str (revision 91) +++ src/lib/prism/pp/prism-module.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-module imports helpers Index: src/lib/prism/pp/pp-prism-to-box.str =================================================================== --- src/lib/prism/pp/pp-prism-to-box.str (revision 91) +++ src/lib/prism/pp/pp-prism-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-prism-to-box imports Box Index: src/lib/prism/pp/prism-init.str =================================================================== --- src/lib/prism/pp/prism-init.str (revision 91) +++ src/lib/prism/pp/prism-init.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-init rules Index: src/lib/prism/pp/prism-formula.str =================================================================== --- src/lib/prism/pp/prism-formula.str (revision 91) +++ src/lib/prism/pp/prism-formula.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-formula rules Index: src/lib/prism/pp/prism-systemcomposition.str =================================================================== --- src/lib/prism/pp/prism-systemcomposition.str (revision 91) +++ src/lib/prism/pp/prism-systemcomposition.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-systemcomposition imports helpers Index: src/lib/prism/pp/prism-modulesfile.str =================================================================== --- src/lib/prism/pp/prism-modulesfile.str (revision 91) +++ src/lib/prism/pp/prism-modulesfile.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-modulesfile rules Index: src/lib/prism/pp/prism-modulesfiletype.str =================================================================== --- src/lib/prism/pp/prism-modulesfiletype.str (revision 91) +++ src/lib/prism/pp/prism-modulesfiletype.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-modulesfiletype rules Index: src/lib/prism/pp/helpers.str =================================================================== --- src/lib/prism/pp/helpers.str (revision 91) +++ src/lib/prism/pp/helpers.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module helpers strategies Index: src/lib/prism/pp/prism-conflicts.str =================================================================== --- src/lib/prism/pp/prism-conflicts.str (revision 91) +++ src/lib/prism/pp/prism-conflicts.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-conflicts rules Index: src/lib/prism/pp/prism-declaration.str =================================================================== --- src/lib/prism/pp/prism-declaration.str (revision 91) +++ src/lib/prism/pp/prism-declaration.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-declaration rules Index: src/lib/prism/pp/prism-constant.str =================================================================== --- src/lib/prism/pp/prism-constant.str (revision 91) +++ src/lib/prism/pp/prism-constant.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-constant rules Index: src/lib/prism/pp/prism-expression.str =================================================================== --- src/lib/prism/pp/prism-expression.str (revision 91) +++ src/lib/prism/pp/prism-expression.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-expression imports helpers Index: src/lib/prism/pp/prism-global.str =================================================================== --- src/lib/prism/pp/prism-global.str (revision 91) +++ src/lib/prism/pp/prism-global.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-global rules Index: src/lib/prism/pp/prism-to-abox.str =================================================================== --- src/lib/prism/pp/prism-to-abox.str (revision 92) +++ src/lib/prism/pp/prism-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-to-abox imports libstratego-xtc Index: src/lib/prism/pp/Makefile.am =================================================================== --- src/lib/prism/pp/Makefile.am (revision 92) +++ src/lib/prism/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/prism/pp -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/prism/pp/prism-command.str =================================================================== --- src/lib/prism/pp/prism-command.str (revision 91) +++ src/lib/prism/pp/prism-command.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-command rules Index: src/lib/prism/Makefile.am =================================================================== --- src/lib/prism/Makefile.am (revision 91) +++ src/lib/prism/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/prism -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Thu May 25 18:43:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/lib/xpctl/pp/pp-xpctl-to-box.str =================================================================== --- src/lib/xpctl/pp/pp-xpctl-to-box.str (revision 91) +++ src/lib/xpctl/pp/pp-xpctl-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-xpctl-to-box imports Box Index: src/lib/xpctl/pp/xpctl-to-abox.str =================================================================== --- src/lib/xpctl/pp/xpctl-to-abox.str (revision 92) +++ src/lib/xpctl/pp/xpctl-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xpctl-to-abox imports libstratego-xtc Index: src/lib/xpctl/pp/Makefile.am =================================================================== --- src/lib/xpctl/pp/Makefile.am (revision 92) +++ src/lib/xpctl/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xpctl/pp -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sat Jun 10 03:59:11 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/xpctl/Makefile.am =================================================================== --- src/lib/xpctl/Makefile.am (revision 91) +++ src/lib/xpctl/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xpctl -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sun Jun 11 02:56:41 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:56:52 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/str/flatten-array-access.str =================================================================== --- src/str/flatten-array-access.str (revision 91) +++ src/str/flatten-array-access.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module flatten-array-access rules Index: src/str/check-meta-vars.str =================================================================== --- src/str/check-meta-vars.str (revision 91) +++ src/str/check-meta-vars.str (working copy) @@ -1,4 +1,23 @@ /* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ +/* ** This sub-module is used to check that meta-vars are correctly used ** throughout the program. This implies: ** - checking that they have been defined when they're used Index: src/str/array-decl-desugar.str =================================================================== --- src/str/array-decl-desugar.str (revision 91) +++ src/str/array-decl-desugar.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module is used to desugar array declarations into simple ** declarations. Index: src/str/inline.str =================================================================== --- src/str/inline.str (revision 91) +++ src/str/inline.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module inline strategies Index: src/str/xrm-to-prism.str =================================================================== --- src/str/xrm-to-prism.str (revision 91) +++ src/str/xrm-to-prism.str (working copy) @@ -1,4 +1,23 @@ /* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ +/* ** This sub-module does the real work of the front-end. It transforms the ** program into a valid PRISM AST. ** Index: src/str/log-timed.str =================================================================== --- src/str/log-timed.str (revision 91) +++ src/str/log-timed.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** Original code from strc (The Stratego Compiler) ** by Eelco Visser &lt;visser(a)acm.org&gt; Index: src/str/prism-desugar.str =================================================================== --- src/str/prism-desugar.str (revision 91) +++ src/str/prism-desugar.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-desugar imports PRISM Index: src/str/eval-meta-code.str =================================================================== --- src/str/eval-meta-code.str (revision 91) +++ src/str/eval-meta-code.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module does all the meta-code evaluation and generation. ** XRM modules can contain meta for loops as well as meta if statements Index: src/str/signatures.str =================================================================== --- src/str/signatures.str (revision 91) +++ src/str/signatures.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module signatures /** Index: src/str/builtin-rand.str =================================================================== --- src/str/builtin-rand.str (revision 91) +++ src/str/builtin-rand.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module handles the XRM builtin rand. ** rand(x) generates a random value (at runtime) between 0 and x (inclusive) Index: src/str/type-check.str =================================================================== --- src/str/type-check.str (revision 91) +++ src/str/type-check.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module type-check strategies Index: src/str/xrm-front.str =================================================================== --- src/str/xrm-front.str (revision 92) +++ src/str/xrm-front.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-front imports Index: src/str/ice.str =================================================================== --- src/str/ice.str (revision 91) +++ src/str/ice.str (working copy) @@ -1,4 +1,23 @@ /* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ +/* ** Handle internal errors (things that should not happen) */ module ice Index: src/str/Makefile.am =================================================================== --- src/str/Makefile.am (revision 91) +++ src/str/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/str -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 17:59:35 2006 SIGOURE Benoit -## Last update Thu May 25 19:32:14 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/str/collect-static-const-decl.str =================================================================== --- src/str/collect-static-const-decl.str (revision 91) +++ src/str/collect-static-const-decl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module is used to collect static constants and formulas ** declarations so they can be used in constant propagation. Index: src/str/properties-in-xrm.str =================================================================== --- src/str/properties-in-xrm.str (revision 91) +++ src/str/properties-in-xrm.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This module is about embedded XPCTL in XRM. */ Index: src/str/desugar-array-access.str =================================================================== --- src/str/desugar-array-access.str (revision 91) +++ src/str/desugar-array-access.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module provides several strategies used to handle arrays in XRM ** and desugar them down to simple variables for PRISM. Index: src/str/reals.str =================================================================== --- src/str/reals.str (revision 92) +++ src/str/reals.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module reals strategies Index: src/syn/collect-ebnf.rb =================================================================== --- src/syn/collect-ebnf.rb (revision 91) +++ src/syn/collect-ebnf.rb (working copy) @@ -1,13 +1,4 @@ #!/usr/bin/ruby -## -## collect-ebnf.rb for EBNF in /home/tsuna/work/xrm/trunk/src/syn -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sat May 6 19:41:32 2006 SIGOURE Benoit -## Last update Sun May 7 13:47:22 2006 SIGOURE Benoit -## $version = "0.1" $verbose = nil # disable verbose by default Index: src/syn/pctl/Makefile.am =================================================================== --- src/syn/pctl/Makefile.am (revision 92) +++ src/syn/pctl/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn/pctl -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sat Jun 10 00:17:31 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/syn/xrm/Makefile.am =================================================================== --- src/syn/xrm/Makefile.am (revision 92) +++ src/syn/xrm/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/XRM/trunk/src/syn/xrm -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/syn/Makefile.am =================================================================== --- src/syn/Makefile.am (revision 91) +++ src/syn/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:30:13 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = prism pctl xrm xpctl Index: src/syn/prism/Makefile.am =================================================================== --- src/syn/prism/Makefile.am (revision 92) +++ src/syn/prism/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn/prism -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/syn/xpctl/Makefile.am =================================================================== --- src/syn/xpctl/Makefile.am (revision 92) +++ src/syn/xpctl/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn/xpctl -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Sat Jun 10 00:17:31 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/Makefile.am =================================================================== --- src/Makefile.am (revision 91) +++ src/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 16:57:03 2006 SIGOURE Benoit -## Last update Thu May 25 19:05:24 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk Index: tests/test-pp-prism.sh.in =================================================================== --- tests/test-pp-prism.sh.in (revision 91) +++ tests/test-pp-prism.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-prism.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-pp-xpctl.sh.in =================================================================== --- tests/test-pp-xpctl.sh.in (revision 91) +++ tests/test-pp-xpctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-xpctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-summary.sh =================================================================== --- tests/test-summary.sh (revision 91) +++ tests/test-summary.sh (working copy) @@ -1,13 +1,4 @@ #!/bin/sh -## -## test-summary.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Tue May 16 01:13:04 2006 SIGOURE Benoit -## Last update Tue May 16 01:49:52 2006 SIGOURE Benoit -## test -r test_summary || { echo "Cannot find ./test_summary"; exit 1; } Index: tests/test-parse-pctl.sh.in =================================================================== --- tests/test-parse-pctl.sh.in (revision 91) +++ tests/test-parse-pctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-pctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-xrm-front.sh.in =================================================================== --- tests/test-xrm-front.sh.in (revision 91) +++ tests/test-xrm-front.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-xrm.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/Makefile.am =================================================================== --- tests/Makefile.am (revision 91) +++ tests/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 16:56:50 2006 SIGOURE Benoit -## Last update Sun Jun 11 03:40:50 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + #include $(top_srcdir)/config/toplevel.mk Index: tests/test-parse-xrm.sh.in =================================================================== --- tests/test-parse-xrm.sh.in (revision 91) +++ tests/test-parse-xrm.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-xrm.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-pp-pctl.sh.in =================================================================== --- tests/test-pp-pctl.sh.in (revision 91) +++ tests/test-pp-pctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-pctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-parse-prism.sh.in =================================================================== --- tests/test-parse-prism.sh.in (revision 91) +++ tests/test-parse-prism.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-prism.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-parse-xpctl.sh.in =================================================================== --- tests/test-parse-xpctl.sh.in (revision 91) +++ tests/test-parse-xpctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-xpctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-pp-xrm.sh.in =================================================================== --- tests/test-pp-xrm.sh.in (revision 91) +++ tests/test-pp-xrm.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-xrm.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: configure.ac =================================================================== --- configure.ac (revision 92) +++ configure.ac (working copy) @@ -1,12 +1,22 @@ -## -## configure.ac for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 15:55:56 2006 SIGOURE Benoit -## Last update Fri Aug 4 18:50:35 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + ## --------------- ## ## Autotools setup ## Index: config/Makefile.am =================================================================== --- config/Makefile.am (revision 91) +++ config/Makefile.am (working copy) @@ -1,12 +1,21 @@ -## -## Makefile.am for Project in /home/tsuna/work/xrm/trunk/config -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Mon May 8 23:34:38 2006 SIGOURE Benoit -## Last update Tue Jun 20 17:41:06 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. EXTRA_DIST = \ Makefile.xt \ Index: Makefile.am =================================================================== --- Makefile.am (revision 93) +++ Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 16:22:46 2006 SIGOURE Benoit -## Last update Sun Dec 3 14:38:45 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk Index: bootstrap =================================================================== --- bootstrap (revision 91) +++ bootstrap (working copy) @@ -1,13 +1,4 @@ #!/bin/sh -## -## bootstrap for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail &lt;sigoure.benoit(a)lrde.epita.fr&gt; -## -## Started on Thu Apr 27 16:02:29 2006 SIGOURE Benoit -## Last update Wed Jun 21 00:08:28 2006 SIGOURE Benoit -## set -e set -x -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.