Initial commit.

4 files changed, 205 insertions, 0 deletions

diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..4921ae2
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,9 @@
+Copyright 2020 Aleksey Veresov
+
+This software is provided 'as-is', without any express or implied warranty.
+In no event will the authors be held liable for any damages arising from
+the use of this software.
+
+Permission to use, copy, modify, and distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..05c8746
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,107 @@
+# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
+#     Compilation Options
+# Debug mode [yes/no] (allowing to debug the library via gdb):
+DEBUG   ?= no
+# Specify your favourite C compiler here:
+COMPILE ?= gcc
+# Specify your include directory (headers location):
+INCDIR  ?= /usr/include
+# Specify your libraries directory:
+LIBDIR  ?= /usr/lib
+# Specify location of man pages on your machine:
+MANDIR  ?= /usr/share/man
+
+
+# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
+#     Preparations
+# Compile as ANSI C code:
+CFLAGS   = -xc -ansi -Wall
+# Specify linker to use the library:
+LFLAGS   = -L$(BUILD) -lcsx
+# Debug and optimisation (as well as -static for valgrind) are not compatible:
+ifeq '$(DEBUG)' 'yes'
+CFLAGS  += -g -O0
+else
+CFLAGS  += -O3
+LFLAGS  += -static
+endif
+
+# Directories definitions:
+INCLUDE  = include
+BUILD    = build
+SRCDIR   = src
+EXADIR   = examples
+MAN      = man
+# Library itself:
+LIB      = libcsx.a
+# Modules:
+EXTERNAL = $(foreach x,$(notdir $(wildcard $(INCLUDE)/csx/*.h)),$(x:.h=))
+INTERNAL = $(foreach x,$(notdir $(wildcard $(SRCDIR)/*.h)),$(x:.h=))
+
+# Default target is library:
+TARGET   = $(BUILD)/$(LIB)
+# Determing needed object files:
+EXTER_H  = $(foreach x,$(EXTERNAL:=.h),$(INCLUDE)/csx/$(x))
+EXTER_C  = $(foreach x,$(EXTERNAL:=.c),$(SRCDIR)/$(x))
+INTER_H  = $(foreach i,$(INTERNAL:=.h),$(SRCDIR)/$(i))
+INTER_C  = $(INTER_H:.h=.c)
+SRC      = $(INTER_C) $(EXTER_C)
+OBJ      = $(foreach o,$(SRC:.c=.o),$(BUILD)/$(o))
+# Example executables:
+XSRC     = $(wildcard $(EXADIR)/*.c)
+EXAMPLES = $(foreach x,$(XSRC:.c=),$(BUILD)/$(x))
+# Dependency file:
+DEPS     = deps.mk
+
+SRCINC   = -I$(INCLUDE)/csx
+XINC     = -I$(INCLUDE)
+SRCBUILD = $(BUILD)/$(SRCDIR)
+XBLD     = $(BUILD)/$(EXADIR)
+
+
+# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
+#     Targets
+.PHONY: all examples clean install uninstall
+
+all: $(SRCBUILD) $(TARGET)
+
+examples: all $(XBLD) $(EXAMPLES)
+
+clean:
+	rm -f $(TARGET) $(OBJ) $(EXAMPLES) $(DEPS)
+
+install: all
+	cp -r $(INCLUDE)/* $(INCDIR)
+	cp $(TARGET) $(LIBDIR)
+	cp $(MAN)/* $(MANDIR)/man3
+
+uninstall:
+	rm -r $(INCDIR)/csx.h $(INCDIR)/csx
+	rm $(LIBDIR)/$(LIB)
+	rm $(MANDIR)/man3/csx.3 $(MANDIR)/man3/libcsx.3
+
+
+# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
+#     Compilation
+-include $(DEPS)
+
+# Packing object files into library:
+$(TARGET): $(OBJ)
+	ar -rcs $@ $^
+
+# Compile object files from corresponding source:
+$(BUILD)/%.o: %.c
+	$(COMPILE) $(CFLAGS) $(SRCINC) -c $< -o $@
+
+# Compile executables from corresponding sources and library:
+$(BUILD)/%: %.c $(TARGET)
+	$(COMPILE) $(CFLAGS) $(XINC) $< $(LFLAGS) -o $@
+
+# Create build directories, if no such:
+$(SRCBUILD) $(XBLD):
+	mkdir -p $@
+
+# Generate dependency file, adding corresponding build prefixes:
+$(DEPS): $(SRC) $(EXASRC) $(EXTER_H) $(INTER_H) $(INCLUDE)/csx.h
+	$(COMPILE) $(SRCINC) $(SRC) -MM | sed '/^ /!s#^#$(SRCBUILD)/#' >$@
+	$(COMPILE) $(XINC) $(XSRC) -MM | sed '/^ /!s#^#$(XBLD)/#;s/\.o//' >>$@
diff --git a/README b/README
new file mode 100644
index 0000000..bac93d8
--- /dev/null
+++ b/README
@@ -0,0 +1,19 @@
+    Description
+CSX Library (libcsx) extends C with S-Expressions.
+
+    Overview
+CSX is free and open-source software: legal info is in the 'LICENSE' file.
+For detailed documentation look into 'man' directory.
+
+    Compiling
+...
+
+    Examples
+Running 'make examples' produces executable for each example in 'examples'.
+Descriptions and details are in corresponding source files.
+
+    Usage
+...
+
+    Motivation
+You can do such things in C, this fact should be more known.
diff --git a/examples/math.c b/examples/math.c
new file mode 100644
index 0000000..df0aabc
--- /dev/null
+++ b/examples/math.c
@@ -0,0 +1,70 @@
+#include <csx.h>
+
+
+v def_rat_sum(v construct, v numer, v denom)
+{
+    v a = atom("a");
+    v b = atom("b");
+    return el(define, l(atom("rat_sum"), a, b),
+        l(construct, l(sum, l(mul, l(numer, a), l(denom, b)),
+                            l(mul, l(numer, b), l(denom, a))),
+                     l(mul, l(denom, a), l(denom, b)))
+    );
+}
+
+v def_rat_sum(v construct, v numer, v denom)
+{
+    v a = atom("a");
+    v b = atom("b");
+    return el(define, l(atom("rat_sub"), a, b),
+        l(construct, l(sub, l(mul, l(numer, a), l(denom, b)),
+                            l(mul, l(numer, b), l(denom, a))),
+                     l(mul, l(denom, a), l(denom, b)))
+    );
+}
+
+v def_rat_equ(v construct, v numer, v denom)
+{
+    v a = atom("a");
+    v b = atom("b");
+    return el(define, l(atom("rat_equ"), a, b),
+        l(equ, l(mul, l(numer, a), l(denom, b)),
+               l(mul, l(numer, b), l(denom, a)))
+    );
+}
+
+void printres(v a, v b, v absum, v absub, int *are_equ, v numer, v denom)
+{
+    int an   = *(int *)el(numer, a);
+    int ad   = *(int *)el(denom, a);
+    int bn   = *(int *)el(numer, b);
+    int bd   = *(int *)el(denom, b);
+    int sumn = *(int *)el(numer, absum);
+    int sumd = *(int *)el(denom, absum);
+    int subn = *(int *)el(numer, absub);
+    int subd = *(int *)el(denom, absub);
+    printf("%d/%d + %d/%d = %d/%d\n", an, ad, bn, bd, sumn, sumd);
+    printf("%d/%d - %d/%d = %d/%d\n", an, ad, bn, bd, subn, subd);
+    if (*are_equ) {
+        puts("And they are equal.\n");
+    } else {
+        puts("And they are not equal.\n");
+    }
+}
+
+int main()
+{
+    v rat       = l(define, atom("rat"), cons);
+    v rat_numer = l(define, atom("rat_numer"), car);
+    v rat_denom = l(define, atom("rat_denom"), cdr);
+    v rat_sum   = def_rat_sum(rat, rat_numer, rat_denom);
+    v rat_sub   = def_rat_sub(rat, rat_numer, rat_denom);
+    v rat_equ   = def_rat_equ(rat, rat_numer, rat_denom);
+    v number_a  = el(rat, n(19), n(99));
+    v number_b  = el(rat, n(7), n(3));
+    v absum     = el(rat_sum, number_a, number_b);
+    v absub     = el(rat_sub, number_a, number_b);
+    v are_equ   = el(rat_equ, number_a, number_b);
+    printres(number_a, number_b, sum, sub, are_equ, numer, denom);
+    return 0;
+}