在Linux中，为了克服单链表这种单向性的缺点，项目组希望建立双向循环链表静动态库文件。试写出创建带头节点的双循环链表、实现插入数据并弹出尾节点数据等函数，要求分别封装。利用编译器GCC、自动化工程管理工具make工具编译成静动态库文件。分别给出详细的测试过程。

在Linux环境下，创建一个双向循环链表的静态库（`.a`文件）通常会包含以下几个关键步骤：

1. **头文件** (`doubly_linked_list.h`):

#ifndef DOUBLY_LINKED_LIST_H_
#define DOUBLY_LINKED_LIST_H_

typedef struct Node {
    int data;
    struct Node *prev;
    struct Node *next;
} Node;

// 创建一个带头节点的链表
Node* create_doubly_linked_list();

// 插入数据到链表头部
void insert_at_head(Node** head, int data);

// 插入数据到链表尾部
void insert_at_tail(Node** tail, int data);

// 弹出并返回链表尾部的数据，处理环形链表特殊情况
int pop_tail(Node** tail);

#endif // DOUBLY_LINKED_LIST_H_

2. **源文件** (`doubly_linked_list.c`):

#include "doubly_linked_list.h"

// 实现函数
Node* create_doubly_linked_list() {
    Node* head = (Node*)malloc(sizeof(Node));
    if (!head) return NULL;
    head->data = 0;
    head->prev = head;
    head->next = head;
    return head;
}

// ...其他函数实现...

3. **构建Makefile**:

CC = gcc
CFLAGS = -std=c99 -Wall -Wextra -pedantic
AR = ar
RANLIB = ranlib

all: libdll.a test

libdll.a: doubly_linked_list.o
	$(AR) rcs libdll.a doubly_linked_list.o

doubly_linked_list.o: doubly_linked_list.c doubly_linked_list.h
	$(CC) $(CFLAGS) -c doubly_linked_list.c

test: test_main.c libdll.a
	$(CC) $(CFLAGS) test_main.c -L. -ldll -o test

clean:
	rm -f *.o test libdll.a

4. **测试过程**:
创建测试程序 `test_main.c` 来验证链表的功能，包括初始化、插入和弹出操作：

#include "doubly_linked_list.h"

int main() {
    Node* list = create_doubly_linked_list();
    // 测试插入和弹出
    insert_at_head(&list, 1);
    insert_at_tail(&list, 2);
    printf("Tail data after insert: %d\n", pop_tail(&list));

    // 更多测试...

    return 0;
}

运行 `make` 命令编译，并通过 `./test` 运行测试。