From caaa27d768d2c8b67cda5cc924637d382348bc3e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Sun, 23 Mar 2014 11:13:39 +0100
Subject: [PATCH] Fix makefile
- remove forgot adeterminize from libs section
- atrim.fsm renamed to atrim
---
makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/makefile b/makefile
index e4ea497f1e..468ebfd128 100644
--- a/makefile
+++ b/makefile
@@ -3,14 +3,14 @@ LIBPATH = /usr/lib
BINFOLDER = bin
CORE_LIB = alib
-SUBDIRS_LIBS = adeterminize libaderivation libaregexptree
+SUBDIRS_LIBS = libaderivation libaregexptree
SUBDIRS_BINS = acat \
aconvert aconvert.dot aconvert.gastex aconvert.regexp aconvert.automaton aconvert.grammar \
aminimize \
adeterminize \
adiff adiff.automaton adiff.grammar \
aepsilon \
- atrim.fsm \
+ atrim \
anormalize \
aconversions \
aderivation aintegral \
--
GitLab