Merge pull request #29 from p-jacquot/benchs-ports

Benchs ports

apps/bots/alignment/alignment_for/Makefile

@@ -0,0 +1,63 @@
+HERMITUX_BASE=$(HOME)/Desktop/hermitux
+
+HERMIT_LOCAL_INSTALL=$(HERMITUX_BASE)/hermitux-kernel/prefix
+MUSL_PREFIX=$(HERMITUX_BASE)/musl/prefix
+MUSL_GCC=$(MUSL_PREFIX)/bin/musl-gcc
+LIBIOMP_INSTALL_DIR=$(HERMITUX_BASE)/libiomp/build/runtime/src
+
+# For obfuscation, add this to the CFLAGS:
+# -mllvm -fla -mllvm -sub -mllvm -bcf
+#  https://github.com/obfuscator-llvm/obfuscator
+CFLAGS=-g -fopenmp -O3
+LDFLAGS=-L$(LIBIOMP_INSTALL_DIR) -static -lomp -lm
+
+SRC := $(shell ls *.c)
+OBJ=$(SRC:.c=.o)
+PROG?=prog
+
+KERNEL=$(HERMIT_LOCAL_INSTALL)/x86_64-hermit/extra/tests/hermitux
+VERBOSE?=0
+ISLE=uhyve
+STRIP?=1
+# Enable the fine-grained seccomp filter:
+SECCOMP?=0
+#ARGS?="-i100"
+ARGS?=
+CPUS?=4
+MEM?=4G
+
+# Set this to 1 to enable gdb support, see tools/hermitux-gdb. Don't forget
+# to disable stripping and -O3 to be able to debug.
+DEBUG?=0
+
+# Can be $(MUSL_GCC) or clang (and also the obfuscated version of clang)
+CC=$(MUSL_GCC)
+#CC=clang
+#CC=gcc
+all: $(PROG)
+
+$(PROG): $(SRC)
+	$(CC) $(CFLAGS) $(SRC) -o $(PROG) $(LDFLAGS)
+
+#$(PROG): $(OBJ)
+#	ld -o $(PROG) $(OBJ) $(MUSL_PREFIX)/lib/crt1.o $(MUSL_PREFIX)/lib/libc.a $(LDFLAGS)
+#ifeq ($(STRIP),1)
+#	strip $(PROG)
+#endif
+
+%.o: %.c
+	$(CC) $(CFLAGS) -c $^ -o $@
+
+objdump:
+	objdump --source $(PROG) > /tmp/objdump.txt && vim /tmp/objdump.txt
+
+test: $(PROG)
+	OMP_NUM_THREADS=$(CPUS) \
+	HERMIT_VERBOSE=$(VERBOSE) HERMIT_ISLE=$(ISLE) HERMIT_TUX=1 \
+	HERMIT_DEBUG=$(DEBUG) HERMIT_SECCOMP=$(SECCOMP) HERMIT_MEM=$(MEM) \
+	HERMIT_CPUS=$(CPUS) $(HERMIT_LOCAL_INSTALL)/bin/proxy $(KERNEL) \
+	$(PROG) $(ARGS) -f ../prot.20.aa
+
+clean:
+	rm -rf *.o $(PROG)
+