diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/luaprofiler/Makefile')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/luaprofiler/Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/luaprofiler/Makefile b/Build/source/texk/web2c/luatexdir/luaprofiler/Makefile new file mode 100644 index 00000000000..57ccbfd165f --- /dev/null +++ b/Build/source/texk/web2c/luatexdir/luaprofiler/Makefile @@ -0,0 +1,19 @@ + +srcdir=../../../src/libs/luaprofiler + +OBJS= clocks.o \ + core_profiler.o \ + function_meter.o \ + stack.o \ + lua50_profiler.o + + +profiler: $(OBJS) + ar cru libprofiler.a $(OBJS) + ranlib libprofiler.a + +clean: + rm -f $(OBJS) libprofiler.a + +%.o: $(srcdir)/%.c + $(CC) -c -I../../../src/libs/lua51 $< $(CFLAGS) -o $@ |