From: Francois Fleuret <francois@fleuret.org>
Date: Sun, 28 Aug 2016 06:19:06 +0000 (+0200)
Subject: Renamed task object files back from .task to .so.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=a91daa533e1bd919ddcbc4a4ca82dff8705194c3;p=universe.git

Renamed task object files back from .task to .so.
---

diff --git a/Makefile b/Makefile
index 23d8458..f4556f8 100644
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,7 @@ CXXFLAGS += -I/usr/include/cairo -DCAIRO_SUPPORT
 LDFLAGS += -lcairo
 
 TASK_SRC = dummy.cc move_square.cc hit_shape.cc
-TASK_OBJ = $(TASK_SRC:.cc=.task)
+TASK_OBJ = $(TASK_SRC:.cc=.so)
 
 all: main TAGS $(TASK_OBJ)
 
@@ -52,13 +52,13 @@ main: 	main.o misc.o \
 	intelligence.o
 	$(CXX) $(CXXFLAGS) $(LDFLAGS) -lX11 -o $@ $^
 
-%.task: %.cc misc.o universe.o polygon.o xfig_tracer.o map.o task.o manipulator.o
+%.so: %.cc misc.o universe.o polygon.o xfig_tracer.o map.o task.o manipulator.o
 	$(CXX) $(CXXFLAGS) -shared -Wl,-soname,$@ -o $@ $^
 
 Makefile.depend: *.h *.cc Makefile
 	$(CC) -M *.cc > Makefile.depend
 
 clean:
-	\rm -f main *.o *.task Makefile.depend
+	\rm -f main *.o *.so Makefile.depend
 
 -include Makefile.depend
diff --git a/main.cc b/main.cc
index 5a1d562..1d618d8 100644
--- a/main.cc
+++ b/main.cc
@@ -193,7 +193,7 @@ int main(int argc, char **argv) {
   cout << "FlatLand, a toy universe for goal-planning experiments." << endl;
 
   if(!task) {
-    task = load_task("dummy.task");
+    task = load_task("dummy.so");
     task_degree = 0;
   }