diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-18 00:47:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-18 00:47:44 +0000 |
commit | 5d68f2651a08223febcc172a6cb49a6e92899034 (patch) | |
tree | dfea7ee6418af2cb05fd0747facf7ff92b4fa1c9 /configure | |
parent | 7db3376a614a5aeacc114c38002ea65e57046dc5 (diff) | |
download | open-axiom-5d68f2651a08223febcc172a6cb49a6e92899034.tar.gz |
* algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.
(CommutativeOperation): Likewise.
* algebra/Makefile.am (oa_algebra_layer_0): Include them.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -3606,10 +3606,6 @@ mkdir_p='$(MKDIR_P)' # in the wild :-( We should find a proper way to deprecate it ... AMTAR='$${TAR-tar}' - -# We'll loop over all known methods to create a tar archive until one works. -_am_tools='gnutar pax cpio none' - am__tar='$${TAR-tar} chof - "$$tardir"' am__untar='$${TAR-tar} xf -' @@ -3621,7 +3617,6 @@ am__tar='$${TAR-tar} chof - "$$tardir"' am__untar='$${TAR-tar} xf -' - open_axiom_installdir=$libdir/open-axiom/$target/$PACKAGE_VERSION @@ -21666,7 +21661,7 @@ $as_echo X"$mf" | DEPDIR=`sed -n 's/^DEPDIR = //p' < "$mf"` test -z "$DEPDIR" && continue am__include=`sed -n 's/^am__include = //p' < "$mf"` - test -z "$am__include" && continue + test -z "am__include" && continue am__quote=`sed -n 's/^am__quote = //p' < "$mf"` # Find all dependency output files, they are included files with # $(DEPDIR) in their names. We invoke sed twice because it is the |