source: git/factory/make_factory_dist @ 0341f1

fieker-DuValspielwiese
Last change on this file since 0341f1 was 538e06, checked in by Hans Schoenemann <hannes@…>, 4 years ago
fix: typo
  • Property mode set to 100644
File size: 393 bytes
Line 
1#!/bin/sh
2cp -r ../m4 m4
3sed -e 's:AC_CONFIG_AUX_DIR.*:AC_CONFIG_AUX_DIR([.]):' <configure.ac >c.ac
4sed -e 's:AC_CONFIG_MACRO_DIR.*:AC_CONFIG_MACRO_DIR([m4]):' <c.ac >configure.ac
5sed -e 's:with_Singular=yes:with_Singular=no:' <configure.ac >c.ac
6mv c.ac configure.ac
7sed -e 's:ACLOCAL_AMFLAGS.*:ACLOCAL_AMFLAGS = -I m4:' <Makefile.am >m.am
8mv m.am Makefile.am
9autoreconf  -v -f -i
10make dist
11
Note: See TracBrowser for help on using the repository browser.