diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-09 02:56:59 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-09 02:56:59 +0900 |
| commit | 7a238e7df0c9c7c684b7f761f495b21aa088bd68 (patch) | |
| tree | 299eb84b8706557655a6ea01d32ab37ec94d2789 /configure.ac | |
| parent | 51b6399599676a5c1a9c6cb27be88a1381f7af8a (diff) | |
wip10
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index fdfce62..6d8e522 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ -AC_INIT([rabbit-prover], [0.0.0]) -AC_CONFIG_SRCDIR([rabbit-prover.scm]) +AC_INIT([vikalpa], [0.0.0]) +AC_CONFIG_SRCDIR([vikalpa.scm]) AC_CONFIG_AUX_DIR([build-aux]) AM_INIT_AUTOMAKE([-Wall -Werror foreign]) AM_SILENT_RULES([yes]) |